Skip to content
Lint

dev/bisect.sh: fix typo; restore compat with older GAP versions (#5746) #1764

Sign in to view logs

dev/bisect.sh: fix typo; restore compat with older GAP versions (#5746)

dev/bisect.sh: fix typo; restore compat with older GAP versions (#5746) #1764

Triggered via push June 18, 2024 08:07
@fingolfinfingolfin
pushed 800b0c0
master
Status Success
Total duration 41s
Artifacts –

lint.yml

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