Skip to content
Lint

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

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) #2069

Triggered via push October 24, 2024 21:13
@fingolfinfingolfin
pushed 0cdbcc4
master
Status Success
Total duration 38s
Artifacts –

lint.yml

on: push
gaplint
28s
gaplint
Fit to window
Zoom out
Zoom in