ci: switch over to using forgejo actions

Commit ecd44c218e pushed by silvermain
Workflow push.yaml

pdfs (minutes)

Success

Set up job1s
https://code.forgejo.org/actions/checkout@v40s
nix run .#${{ matrix.script }}9s
ls -lah0s
ls -lah pdf_${{ matrix.script }}/0s
https://code.forgejo.org/forgejo/upload-artifact@v41s
Complete job0s