github: apply apt-get update consistently

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · May 30, 2022 · 57a6d94 · 57a6d94
1 parent 4ef739e
commit 57a6d94
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -19,6 +19,7 @@ jobs:
     - uses: actions/checkout@v2
     - name: Install texlive and pandoc
       run: |
+        sudo apt-get update
         sudo apt-get install pandoc texlive-latex-extra texlive-fonts-extra
     - name: Build PDF
       run: |