Fix HTML entities on the Digraphs homepage #462
Triggered via pull request
January 22, 2025 19:36
forktree
Status
Cancelled
Total duration
3m 13s
Artifacts
–
os.yml
on: pull_request
cygwin / GAP stable-4.13
2m 53s
Matrix: test-unix
Annotations
3 errors
|
cygwin / GAP stable-4.13
Canceling since a higher priority waiting request for 'OS-refs/pull/721/merge' exists
|
|
ubuntu32 / GAP stable-4.13
Canceling since a higher priority waiting request for 'OS-refs/pull/721/merge' exists
|
|
macos / GAP stable-4.13
Canceling since a higher priority waiting request for 'OS-refs/pull/721/merge' exists
|