Skip to content
Workspaces

Update for recent gaplint #634

Sign in to view logs

Update for recent gaplint

Update for recent gaplint #634

Triggered via pull request August 31, 2024 15:49
@james-d-mitchelljames-d-mitchell
synchronize #1037
james-d-mitchell:gaplint-v1.3.2
Status Success
Total duration 1m 36s
Artifacts –

workspaces.yml

on: pull_request
GAP 4.12.2 / ubuntu / 64-bit
1m 13s
GAP 4.12.2 / ubuntu / 64-bit
Fit to window
Zoom out
Zoom in