update workflow (#142)

Author: OlivierBBB

.github/workflows/compile.yml

@@ -22,7 +22,7 @@ jobs:
         run: curl --proto '=https' --tlsv1.2 -fsSL https://drop-sh.fullyjustified.net |sh
       - name: Install lualatex
         # run: sudo apt-get install texlive-latex-base && sudo apt install texlive-luatex && sudo apt-get install texlive-latex-extra
-        run: sudo apt install texlive-full
+        run: sudo apt-get update && sudo apt install texlive-full --fix-missing
       - name: Compile Specification
         run: make ospec
       - name: Upload the Specification