Skip to content
Deploy GAP manual to Pages

buildsys: detect 'check-manuals' exit code (#5614) #388

Sign in to view logs

buildsys: detect 'check-manuals' exit code (#5614)

buildsys: detect 'check-manuals' exit code (#5614) #388

Triggered via push January 30, 2024 22:22
@fingolfinfingolfin
pushed 6873315
master
Status Success
Total duration 3m 1s
Artifacts –

update-gh-pages.yml

on: push
build
2m 16s
build
deploy
10s
deploy
Fit to window
Zoom out
Zoom in