Skip to content

Make gap/ a GAP root directory #1254

Make gap/ a GAP root directory

Make gap/ a GAP root directory #1254

Triggered via pull request February 13, 2025 17:22
Status Cancelled
Total duration 41s
Artifacts

Docstrings.yml

on: pull_request
check-docstrings
23s
check-docstrings
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-docstrings
Canceling since a higher priority waiting request for 'docstring test-refs/pull/4591/merge-true' exists