Skip to content

Actions: FloatingPragma/observer-patch-holography

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,456 workflow runs
2,456 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Claim Registry Claim Registry #670: Scheduled
36s main
main
36s
Mandatory Suite Mandatory Suite #798: Scheduled
52m 5s main
main
52m 5s
Lean Full Nightly Lean Full Nightly #13: Scheduled
46m 37s main
main
46m 37s
Release Channel Integrity Release Channel Integrity #20: Manually run by muellerberndt
17s main
main
17s
Cut paper release r2040 Paper Preview Build #465: Commit af457d6 pushed by muellerberndt
2m 10s main
main
2m 10s
Cut paper release r2040 Mandatory Suite #797: Commit af457d6 pushed by muellerberndt
25m 11s main
main
25m 11s
Cut paper release r2040 Claim Registry #669: Commit af457d6 pushed by muellerberndt
37s main
main
37s
Bind the evidence packages to oph-physics-sim commit 6870893 and mirr… Mandatory Suite #796: Commit 558d1bb pushed by muellerberndt
23m 31s main
main
23m 31s
Rebuild paper PDFs and re-bind the release manifest Claim Registry #668: Commit 7ae6922 pushed by muellerberndt
34s main
main
34s
Rebuild paper PDFs and re-bind the release manifest Lean CI #360: Commit 7ae6922 pushed by muellerberndt
7m 8s main
main
7m 8s
Rebuild paper PDFs and re-bind the release manifest Paper Preview Build #464: Commit 7ae6922 pushed by muellerberndt
2m 18s main
main
2m 18s
Rebuild paper PDFs and re-bind the release manifest Mandatory Suite #795: Commit 7ae6922 pushed by muellerberndt
25m 47s main
main
25m 47s
Certificate Suites Certificate Suites #101: Scheduled
28m 36s main
main
28m 36s
Claim Registry Claim Registry #667: Scheduled
35s main
main
35s
Mandatory Suite Mandatory Suite #794: Scheduled
45m 39s main
main
45m 39s
Lean Full Nightly Lean Full Nightly #12: Scheduled
36m 54s main
main
36m 54s
Release Channel Integrity Release Channel Integrity #19: Manually run by muellerberndt
15s main
main
15s
Cut paper release r2039 Claim Registry #666: Commit 2d942c1 pushed by muellerberndt
35s main
main
35s
Cut paper release r2039 Paper Preview Build #463: Commit 2d942c1 pushed by muellerberndt
2m 10s main
main
2m 10s
Cut paper release r2039 Mandatory Suite #793: Commit 2d942c1 pushed by muellerberndt
24m 10s main
main
24m 10s
Certificate Suites Certificate Suites #100: Scheduled
28m 49s main
main
28m 49s
Certify observer checkpoints and bounded QFT bridge interfaces Lean CI #359: Commit 896112b pushed by muellerberndt
6m 58s main
main
6m 58s
Certify observer checkpoints and bounded QFT bridge interfaces Claim Registry #665: Commit 896112b pushed by muellerberndt
31s main
main
31s
Certify observer checkpoints and bounded QFT bridge interfaces Mandatory Suite #792: Commit 896112b pushed by muellerberndt
25m 59s main
main
25m 59s
Certify observer checkpoints and bounded QFT bridge interfaces Paper Preview Build #462: Commit 896112b pushed by muellerberndt
2m 5s main
main
2m 5s