All workflows actionlint.yml awaiting-manual.yml awaiting-mathlib.yml backport.yml build-template.yml check-empty-pr.yml check-prelude.yml check-stage0.yml check-stdlib-flags.yml ci.yml copyright-header.yml grove.yml jira.yml labels-from-comments.yml pr-body.yml pr-release.yml pr-title.yml restart-on-label.yml stale.yml update-stage0.yml

Actor

All actors max

Status

All status success failure waiting running

Phase 0: fork infrastructure

ci.yml #14 -Scheduled

master

2026-05-28 02:00:22 -05:00

0s

Phase 0: fork infrastructure

stale.yml #13 -Scheduled

master

2026-05-27 20:30:22 -05:00

0s

Phase 0: fork infrastructure

ci.yml #12 -Scheduled

master

2026-05-28 02:00:22 -05:00

0s

Phase 0: fork infrastructure

stale.yml #11 -Scheduled

master

2026-05-27 20:30:22 -05:00

0s

Phase 0: fork infrastructure

ci.yml #10 -Scheduled

master

2026-05-27 02:00:22 -05:00

0s

Phase 0: fork infrastructure

stale.yml #9 -Scheduled

master

2026-05-26 20:30:22 -05:00

0s

Phase 0: fork infrastructure

ci.yml #8 -Scheduled

master

2026-05-26 02:00:22 -05:00

0s

Phase 0: fork infrastructure

stale.yml #7 -Scheduled

master

2026-05-25 20:30:22 -05:00

0s

Phase 0: fork infrastructure

ci.yml #6 -Scheduled

master

2026-05-25 02:00:22 -05:00

0s

Phase 0: fork infrastructure

stale.yml #5 -Scheduled

master

2026-05-24 20:30:22 -05:00

0s

Phase 0: fork infrastructure

ci.yml #4 -Scheduled

master

2026-05-24 02:00:22 -05:00

0s

Phase 0: fork infrastructure

stale.yml #3 -Scheduled

master

2026-05-23 20:30:22 -05:00

0s

Phase 0: fork infrastructure

update-stage0.yml #2 -Commit ba016b2130 pushed by max

master

2026-05-23 15:19:22 -05:00

0s

Phase 0: fork infrastructure

ci.yml #1 -Commit ba016b2130 pushed by max

master

2026-05-23 15:19:22 -05:00

0s