Skip to content
Ubuntu

Implement IsJoinIrreducible and IsMeetIrreducible #1579

Sign in to view logs

Implement IsJoinIrreducible and IsMeetIrreducible

Implement IsJoinIrreducible and IsMeetIrreducible #1579

Re-run triggered April 3, 2026 15:07
@mtorpeymtorpey
#910
ThatOtherAndrew:pr/joinmeetirreducible
Status Success
Total duration 45m 50s
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 stable-4.15 / only needed packages
Package 'nautytracesinterface' could not be found.
GAP v4.13 / only needed packages
Package 'nautytracesinterface' could not be found.
GAP v4.14 / only needed packages
Package 'nautytracesinterface' could not be found.
GAP master / only needed packages
Package 'nautytracesinterface' could not be found.
GAP v4.12 / needed+suggested packages
Package 'nautytracesinterface' could not be found.
GAP master / needed+suggested packages
Package 'nautytracesinterface' could not be found.
GAP v4.13 / needed+suggested packages
Package 'nautytracesinterface' could not be found.
GAP stable-4.15 / needed+suggested packages
Package 'nautytracesinterface' could not be found.
GAP v4.14 / needed+suggested packages
Package 'nautytracesinterface' could not be found.