PlainCombi: Upper bound on intersecting families #85
Triggered via pull request
February 23, 2025 16:58
yahelmanor
Status
Cancelled
Total duration
2m 32s
Artifacts
–
push_pr.yml
on: pull_request
Lint style
0s
Build project
2m 7s
Annotations
2 errors
|
Build project
Canceling since a higher priority waiting request for '.github/workflows/push_pr.yml-refs/pull/41/merge' exists
|
|
Build project
The operation was canceled.
|