Skip to content
Deploy GAP manual to Pages

Replace some uses of FOO[Length(FOO)] by Last(FOO) (#5655) #427

Sign in to view logs

Replace some uses of FOO[Length(FOO)] by Last(FOO) (#5655)

Replace some uses of FOO[Length(FOO)] by Last(FOO) (#5655) #427

Triggered via push February 27, 2024 07:40
@fingolfinfingolfin
pushed d448ce5
master
Status Success
Total duration 3m 5s
Artifacts –

update-gh-pages.yml

on: push
build
2m 22s
build
deploy
8s
deploy
Fit to window
Zoom out
Zoom in