Skip to content
.github/workflows/push.yml

Revert "Merge branch 'master' of https://github.com/leanprover-commun… #236

Sign in to view logs

Revert "Merge branch 'master' of https://github.com/leanprover-commun…

Revert "Merge branch 'master' of https://github.com/leanprover-commun… #236

Triggered via push July 31, 2024 10:19
@CBirkbeckCBirkbeck
pushed 09e8302
master
Status Cancelled
Total duration 27s
Artifacts –

push.yml

on: push
Build project
2s
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.yml-refs/heads/master' exists
Build project
The operation was canceled.