Skip to content
Lint

Start work on GAP 4.15 #2149

Sign in to view logs

Start work on GAP 4.15

Start work on GAP 4.15 #2149

Triggered via push November 13, 2024 08:16
@fingolfinfingolfin
pushed 4cf0eed
master
Status Success
Total duration 40s
Artifacts –

lint.yml

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