Skip to content
Build PR

chore: use Github as a mirror and use Codeberg as default repo #56

Sign in to view logs

chore: use Github as a mirror and use Codeberg as default repo

chore: use Github as a mirror and use Codeberg as default repo #56

Triggered via push July 14, 2024 10:19
@drupoldrupol
pushed 895c711
mention-codeberg
Status Success
Total duration 1m 53s
Artifacts 1

build-pr.yml

on: push
Build PDF files
1m 43s
Build PDF files
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
pdf--branch-mention-codeberg--895c711dafd0ce84309948b1fd56593dd60e7f75 Expired
2.12 MB