Workspaces

Fix issue in gen. pairs for cong #705

Sign in to view logs

Triggered via push October 25, 2024 16:24

james-d-mitchell

stable-5.4

Status Success

Total duration 1m 46s

Artifacts –

workspaces.yml

on: push

GAP 4.12.2 / ubuntu / 64-bit