Skip to content

Actions: frenzymath/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 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. #27: completed by slashbade
1s
1s
Merge branch 'master' into reap continuous integration #26: Commit 41e527d pushed by slashbade
2s reap
reap
2s
Merge branch 'master' into reap Run pre-commit and in-place update PR on push #26: Commit 41e527d pushed by slashbade
27s reap
reap
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #26: completed by slashbade
2s
2s
chore: bump to v4.28.0 Run pre-commit and in-place update PR on push #25: Commit cbd19f7 pushed by slashbade
26s reap
reap
26s
chore: bump to v4.28.0 continuous integration #25: Commit cbd19f7 pushed by slashbade
1s reap
reap
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #25: completed by slashbade
1s
1s
Merge branch 'leanprover-community:master' into reap continuous integration #24: Commit 069bb3e pushed by slashbade
1s reap
reap
1s
Merge branch 'leanprover-community:master' into reap Run pre-commit and in-place update PR on push #24: Commit 069bb3e pushed by slashbade
23s reap
reap
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #24: completed by slashbade
1s
1s
bump v4.27.0 version continuous integration #23: Commit cc31de9 pushed by slashbade
2s reap
reap
2s
bump v4.27.0 version Run pre-commit and in-place update PR on push #23: Commit cc31de9 pushed by slashbade
21s reap
reap
21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #23: completed by slashbade
1s
1s
Merge branch 'leanprover-community:master' into reap continuous integration #22: Commit ae07892 pushed by slashbade
1s reap
reap
1s
Merge branch 'leanprover-community:master' into reap Autolabel PRs #3: Commit ae07892 pushed by slashbade
Skipped reap
reap
Skipped
Merge branch 'leanprover-community:master' into reap Run pre-commit and in-place update PR on push #22: Commit ae07892 pushed by slashbade
23s reap
reap
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #22: completed by slashbade
2s
2s
Merge branch 'leanprover-community:master' into reap Autolabel PRs #2: Commit 215c6cd pushed by slashbade
Skipped reap
reap
Skipped
Merge branch 'leanprover-community:master' into reap continuous integration #21: Commit 215c6cd pushed by slashbade
1s reap
reap
1s
Merge branch 'leanprover-community:master' into reap Run pre-commit and in-place update PR on push #21: Commit 215c6cd pushed by slashbade
30s reap
reap
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #21: completed by slashbade
1s
1s
chore: bump reap continuous integration #20: Commit a802dbd pushed by slashbade
1s reap
reap
1s
chore: bump reap Run pre-commit and in-place update PR on push #20: Commit a802dbd pushed by slashbade
30s reap
reap
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #20: completed by slashbade
2s
2s
chore: bump reap continuous integration #19: Commit 7582f74 pushed by slashbade
Skipped reap
reap
Skipped