Skip to content

Fix bug with identifying whether GAP is installed #942

Fix bug with identifying whether GAP is installed

Fix bug with identifying whether GAP is installed #942

Triggered via pull request August 15, 2024 22:40
Status Success
Total duration 1m 38s
Artifacts

ci.yml

on: pull_request
Formatting check
15s
Formatting check
Linting check
26s
Linting check
Type check
29s
Type check
Pytest and coverage check
1m 29s
Pytest and coverage check
Fit to window
Zoom out
Zoom in