this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

perf: move pages_count computation away from CI into autopush.fish

cuz apt-update in CI is soooooooooooo slow

Signed-off-by: Gwenn Le Bihan <gwenn.lebihan7@gmail.com>

+2 -10
-9
.github/workflows/typst.yml
··· 32 32 - name: Compile rapport 33 33 run: typst compile rapport/main.typ 34 34 35 - - name: Install PDF tools 36 - run: sudo apt-get update && sudo apt-get install -y poppler-utils 37 - 38 - - name: Count pages and create pages_count file 39 - run: | 40 - PAGE_COUNT=$(pdfinfo rapport/main.pdf | grep "Pages:" | awk '{print $2}') 41 - echo "$PAGE_COUNT" > pages_count 42 - echo "PDF has $PAGE_COUNT pages" 43 - 44 35 - name: Commit and push changes 45 36 uses: EndBug/add-and-commit@v9 46 37 with:
+2 -1
autopush.fish
··· 2 2 git reset --hard rapport/main.pdf 3 3 git pull --rebase --autostash 4 4 while true 5 - git add rapport/*.typ bib.yaml *.fish rapport/*.dot 5 + pdfinfo rapport/main.pdf | rg ^Pages: | awk '{print $2}' > pages_count 6 + git add rapport/*.typ bib.yaml *.fish rapport/*.dot pages_count 6 7 git commit --quiet -m "Continue rapport" 7 8 git push --quiet --force 8 9 echo Pushed at (date)