Skip to content
Lint

Update CHANGES.md, prepare for GAP 4.14.0-beta1 (#5842) #2153

Sign in to view logs

Update CHANGES.md, prepare for GAP 4.14.0-beta1 (#5842)

Update CHANGES.md, prepare for GAP 4.14.0-beta1 (#5842) #2153

Triggered via push November 13, 2024 10:32
@fingolfinfingolfin
pushed b3069e8
master
Status Success
Total duration 39s
Artifacts –

lint.yml

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