Skip to content

chore: use Codeberg as main repository from now on #58

chore: use Codeberg as main repository from now on

chore: use Codeberg as main repository from now on #58

Triggered via push July 14, 2024 10:26
Status Skipped
Total duration 2s
Artifacts

build-pr.yml

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