ci: switch over to using forgejo actions

Commit 644da1675f pushed by silvermain
Workflow push.yaml

pdfs (minutes)

Failure

Set up job0s
https://code.forgejo.org/actions/checkout@v40s
nix run .#${{ matrix.script }}0s
https://code.forgejo.org/forgejo/upload-artifact/src/tag/v40s
Complete job0s