Skip to content
Deploy GAP manual to Pages

dev/bisect.sh: fix typo; restore compat with older GAP versions (#5746) #476

Sign in to view logs

dev/bisect.sh: fix typo; restore compat with older GAP versions (#5746)

dev/bisect.sh: fix typo; restore compat with older GAP versions (#5746) #476

Triggered via push June 18, 2024 08:07
@fingolfinfingolfin
pushed 800b0c0
master
Status Success
Total duration 3m 11s
Artifacts –

update-gh-pages.yml

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