Skip to content

Merge pull request 'chore: use Github as a mirror and use Codeberg as… #57

Merge pull request 'chore: use Github as a mirror and use Codeberg as…

Merge pull request 'chore: use Github as a mirror and use Codeberg as… #57

Triggered via push July 14, 2024 10:22
Status Skipped
Total duration 1s
Artifacts

build-pr.yml

on: push
Build PDF files
0s
Build PDF files
Fit to window
Zoom out
Zoom in