Skip to content
Lint

Prepare for GAP 4.13.1 #1752

Sign in to view logs

Prepare for GAP 4.13.1

Prepare for GAP 4.13.1 #1752

Triggered via push June 13, 2024 11:37
@fingolfinfingolfin
pushed eb5f81c
stable-4.13
Status Success
Total duration 40s
Artifacts –

lint.yml

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