Skip to content
Workspaces

Fix workspaces #15

Sign in to view logs

Fix workspaces

Fix workspaces #15

Triggered via pull request October 7, 2023 09:17
@james-d-mitchelljames-d-mitchell
synchronize #962
james-d-mitchell:fix-workspaces
Status Failure
Total duration 54s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

workspaces.yml

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

Annotations

1 error
GAP 4.12.2 / ubuntu / 64-bit
Process completed with exit code 2.