Skip to content

Actions: yoh-tanimoto/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
633 workflow runs
633 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #227: completed by yoh-tanimoto
September 10, 2024 22:29 2s
September 10, 2024 22:29 2s
Update Quotient.lean continuous integration #227: Commit a55ae93 pushed by yoh-tanimoto
September 10, 2024 22:29 4s yoh
yoh
September 10, 2024 22:29 4s
Weekly Technical Debt Counters Weekly Technical Debt Counters #11: Scheduled
September 9, 2024 04:15 31s master
master
September 9, 2024 04:15 31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #226: completed by yoh-tanimoto
September 5, 2024 10:09 2s
September 5, 2024 10:09 2s
Create Quotient.lean continuous integration #226: Commit 2d0bc30 pushed by yoh-tanimoto
September 5, 2024 10:09 5s yoh
yoh
September 5, 2024 10:09 5s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #225: completed by yoh-tanimoto
September 3, 2024 17:20 2s
September 3, 2024 17:20 2s
Update C_c.lean continuous integration #225: Commit 18d7543 pushed by yoh-tanimoto
September 3, 2024 17:20 4s yoh
yoh
September 3, 2024 17:20 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #224: completed by yoh-tanimoto
September 3, 2024 13:39 3s
September 3, 2024 13:39 3s
Merge branch 'master' into yoh continuous integration #224: Commit 1862b32 pushed by yoh-tanimoto
September 3, 2024 13:39 4s yoh
yoh
September 3, 2024 13:39 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #223: completed by yoh-tanimoto
September 3, 2024 13:36 3s
September 3, 2024 13:36 3s
Merge branch 'leanprover-community:master' into master continuous integration #223: Commit c7efd22 pushed by yoh-tanimoto
September 3, 2024 13:36 5s master
master
September 3, 2024 13:36 5s
Merge branch 'leanprover-community:master' into master Check workflows #10: Commit c7efd22 pushed by yoh-tanimoto
September 3, 2024 13:36 2m 37s master
master
September 3, 2024 13:36 2m 37s
Weekly Technical Debt Counters Weekly Technical Debt Counters #10: Scheduled
September 2, 2024 04:15 27s master
master
September 2, 2024 04:15 27s
Weekly Technical Debt Counters Weekly Technical Debt Counters #9: Scheduled
August 26, 2024 04:15 31s master
master
August 26, 2024 04:15 31s
Weekly Technical Debt Counters Weekly Technical Debt Counters #8: Scheduled
August 19, 2024 04:14 28s master
master
August 19, 2024 04:14 28s
Weekly Technical Debt Counters Weekly Technical Debt Counters #7: Scheduled
August 12, 2024 04:14 27s master
master
August 12, 2024 04:14 27s
Weekly Technical Debt Counters Weekly Technical Debt Counters #6: Scheduled
August 5, 2024 04:14 29s master
master
August 5, 2024 04:14 29s
Weekly Technical Debt Counters Weekly Technical Debt Counters #5: Scheduled
July 29, 2024 04:14 31s master
master
July 29, 2024 04:14 31s
Weekly Technical Debt Counters Weekly Technical Debt Counters #4: Scheduled
July 22, 2024 04:14 27s master
master
July 22, 2024 04:14 27s
Weekly Technical Debt Counters Weekly Technical Debt Counters #3: Scheduled
July 15, 2024 04:16 28s master
master
July 15, 2024 04:16 28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #222: completed by yoh-tanimoto
July 13, 2024 13:38 2s
July 13, 2024 13:38 2s
new folder _PRed continuous integration #222: Commit 3d43166 pushed by yoh-tanimoto
July 13, 2024 13:38 4s yoh
yoh
July 13, 2024 13:38 4s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #221: completed by yoh-tanimoto
July 11, 2024 12:50 2s
July 11, 2024 12:50 2s
Merge branch 'leanprover-community:master' into yoh continuous integration #221: Commit 81c97f9 pushed by yoh-tanimoto
July 11, 2024 12:50 3s yoh
yoh
July 11, 2024 12:50 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #220: completed by yoh-tanimoto
July 11, 2024 12:49 3s
July 11, 2024 12:49 3s