Initialised the repository #5

Merged
Philipp merged 20 commits from init into main 2023-10-24 18:30:37 +02:00
Showing only changes of commit 2e2f8be55b - Show all commits

View File

@ -7,7 +7,6 @@ jobs:
runs-on: pi
container:
image: miktex/miktex:latest
pull: true
steps:
- name: Checkout
uses: actions/checkout@v3
@ -15,9 +14,6 @@ jobs:
LatexBuild2:
runs-on: pi
container:
image: miktex/miktex:latest
pull: true
steps:
- name: Set up Git repository
uses: actions/checkout@master