Skip to content
.github/workflows/push_pr.yml

PlainCombi: Upper bound on intersecting families #84

Sign in to view logs

PlainCombi: Upper bound on intersecting families

PlainCombi: Upper bound on intersecting families #84

Triggered via pull request February 23, 2025 16:58
@yahelmanoryahelmanor
synchronize #41
yahelmanor:inter
Status Cancelled
Total duration 33s
Artifacts –

push_pr.yml

on: pull_request
Lint style
0s
Lint style
Build project
23s
Build project
Fit to window
Zoom out
Zoom in

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.