Skip to content
Ubuntu

Fix planarity #258

Sign in to view logs

Fix planarity

Fix planarity #258

Triggered via pull request September 4, 2024 03:14
@Joseph-EdwardsJoseph-Edwards
synchronize #696
Joseph-Edwards:fix-planarity
Status Cancelled
Total duration 3m 36s
Artifacts –

ubuntu.yml

on: pull_request
Matrix: test-unix
Fit to window
Zoom out
Zoom in

Annotations

8 errors
GAP master / needed+suggested
Canceling since a higher priority waiting request for 'Ubuntu-refs/pull/696/merge' exists
GAP stable-4.11 / only-needed
Canceling since a higher priority waiting request for 'Ubuntu-refs/pull/696/merge' exists
GAP stable-4.12 / only-needed
Canceling since a higher priority waiting request for 'Ubuntu-refs/pull/696/merge' exists
GAP stable-4.13 / only-needed
Canceling since a higher priority waiting request for 'Ubuntu-refs/pull/696/merge' exists
GAP stable-4.13 / needed+suggested
Canceling since a higher priority waiting request for 'Ubuntu-refs/pull/696/merge' exists
GAP master / only-needed
Canceling since a higher priority waiting request for 'Ubuntu-refs/pull/696/merge' exists
GAP stable-4.11 / needed+suggested
Canceling since a higher priority waiting request for 'Ubuntu-refs/pull/696/merge' exists
GAP stable-4.12 / needed+suggested
Canceling since a higher priority waiting request for 'Ubuntu-refs/pull/696/merge' exists