Skip to content
Lint

Change GAP kernel version to 9.1 (also changes the shared library version) #2177

Sign in to view logs

Change GAP kernel version to 9.1 (also changes the shared library version)

Change GAP kernel version to 9.1 (also changes the shared library version) #2177

Triggered via pull request November 24, 2024 21:07
@fingolfinfingolfin
opened #5851
fingolfin:mh/kernel-version
Status Success
Total duration 35s
Artifacts –

lint.yml

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