Workspaces

Fix bug in gen pairs #702

Sign in to view logs

Triggered via pull request October 24, 2024 08:43

james-d-mitchell

opened #1043

james-d-mitchell:fix-bug-in-gen-pairs

Status Success

Total duration 1m 42s

Artifacts –

workspaces.yml

on: pull_request

GAP 4.12.2 / ubuntu / 64-bit