Skip to content
CI

Add 'debug' option which preserves failed package dirs (#119) #118

Sign in to view logs

Add 'debug' option which preserves failed package dirs (#119)

Add 'debug' option which preserves failed package dirs (#119) #118

Triggered via push August 29, 2023 13:45
@fingolfinfingolfin
pushed d69e567
master
Status Success
Total duration 5m 50s
Artifacts 1

CI.yml

on: push
Build manuals
2m 8s
Build manuals
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
manual Expired
116 KB