Skip to content
Ubuntu

Implementing Colour Refinement #1596

Sign in to view logs

Implementing Colour Refinement

Implementing Colour Refinement #1596

Triggered via pull request April 15, 2026 13:43
@RheyaMRheyaM
synchronize #905
RheyaM:ColourRefinement
Status Success
Total duration 25m 43s
Artifacts –

ubuntu.yml

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

Annotations

11 warnings
GAP v4.12 / only needed packages
Package 'nautytracesinterface' could not be found.
GAP v4.11 / needed+suggested packages
Package 'nautytracesinterface' could not be found.
GAP master / only needed packages
Package 'nautytracesinterface' could not be found.
GAP stable-4.15 / only needed packages
Package 'nautytracesinterface' could not be found.
GAP v4.14 / only needed packages
Package 'nautytracesinterface' could not be found.
GAP v4.13 / only needed packages
Package 'nautytracesinterface' could not be found.
GAP v4.12 / needed+suggested packages
Package 'nautytracesinterface' could not be found.
GAP stable-4.15 / needed+suggested packages
Package 'nautytracesinterface' could not be found.
GAP v4.13 / needed+suggested packages
Package 'nautytracesinterface' could not be found.
GAP v4.14 / needed+suggested packages
Package 'nautytracesinterface' could not be found.
GAP master / needed+suggested packages
Package 'nautytracesinterface' could not be found.