Skip to content
Deploy GAP manual to Pages

Prepare for GAP 4.13.1 (#5741) #473

Sign in to view logs

Prepare for GAP 4.13.1 (#5741)

Prepare for GAP 4.13.1 (#5741) #473

Triggered via push June 13, 2024 11:36
@fingolfinfingolfin
pushed f4f47df
master
Status Success
Total duration 2m 59s
Artifacts –

update-gh-pages.yml

on: push
build
2m 30s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in