Skip to content
Lint

Lower the required GAP version to 4.10.0 #22

Sign in to view logs

Lower the required GAP version to 4.10.0

Lower the required GAP version to 4.10.0 #22

Triggered via pull request May 10, 2024 09:29
@james-d-mitchelljames-d-mitchell
opened #16
james-d-mitchell:lower-required-gap-version
Status Success
Total duration 15s
Artifacts –

lint.yml

on: pull_request
lint
6s
lint
Fit to window
Zoom out
Zoom in

Annotations

1 warning
lint
The `python-version` input is not set. The version of Python currently in `PATH` will be used.