Skip to content
Lint

Initial release notes for GAP 4.13 series #1345

Sign in to view logs

Initial release notes for GAP 4.13 series

Initial release notes for GAP 4.13 series #1345

Triggered via pull request February 1, 2024 15:50
@fingolfinfingolfin
opened #5617
fingolfin:mh/CHANGES
Status Success
Total duration 42s
Artifacts –

lint.yml

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