Bors merge/delegate follow-up · Workflow runs · chrisflav/mathlib4 · GitHub

Actions

All workflows
Workflows
- .github/workflows/build_template.yml .github/workflows/build_template.yml
- .github/workflows/zulip_emoji_labelling.yaml .github/workflows/zulip_emoji_labelling.yaml
- Add "closed-pr" emoji in Zulip Add "closed-pr" emoji in Zulip
- Autolabel PRs Autolabel PRs
- Bors merge/delegate follow-up Bors merge/delegate follow-up
- Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run)
- bot fix style bot fix style
- Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches
- cache tests cache tests
- Check PR titles Check PR titles
Management
- Caches

Bors merge/delegate follow-up

Actions

Loading...
Loading

maintainer_bors.yml

8 workflow runs

8 workflow runs

sheaf annihilator and quasi-coherent ideal sheaves Bors merge/delegate follow-up #8: Pull request #4 created by chrisflav

1s

1s

sheaf annihilator and quasi-coherent ideal sheaves Bors merge/delegate follow-up #7: Pull request #4 submitted by chrisflav

1s

1s

feat(AlgebraicGeometry/Modules): flat sheaves of modules Bors merge/delegate follow-up #6: Pull request #2 created by chrisflav

2s

2s

feat(AlgebraicGeometry/Modules): flat sheaves of modules Bors merge/delegate follow-up #5: Pull request #2 submitted by chrisflav

10s

10s

feat(AlgebraicGeometry/Modules): flat sheaves of modules Bors merge/delegate follow-up #4: Pull request #2 created by chrisflav

1s

1s

sheaf annihilator and quasi-coherent ideal sheaves Bors merge/delegate follow-up #3: Pull request #4 created by chrisflav

1s

1s

sheaf annihilator and quasi-coherent ideal sheaves Bors merge/delegate follow-up #2: Pull request #4 created by chrisflav

1s

1s

sheaf annihilator and quasi-coherent ideal sheaves Bors merge/delegate follow-up #1: Pull request #4 submitted by chrisflav

1s

1s