Skip to content
Deploy GAP manual to Pages

fix GAPDoc syntax for the manual in doc/dev (#5825) #522

Sign in to view logs

fix GAPDoc syntax for the manual in doc/dev (#5825)

fix GAPDoc syntax for the manual in doc/dev (#5825) #522

Triggered via push October 24, 2024 21:13
@fingolfinfingolfin
pushed 0cdbcc4
master
Status Cancelled
Total duration 1m 33s
Artifacts –

update-gh-pages.yml

on: push
build
1m 24s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Canceling since a higher priority waiting request for 'pages' exists
build
The operation was canceled.