continuous integration (mathlib forks) · Workflow runs · xroblot/mathlib4 · GitHub

Actions

All workflows
Workflows
- Add "closed-pr" emoji in Zulip Add "closed-pr" emoji in Zulip
- Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label
- Autolabel PRs Autolabel PRs
- Bench output summary Bench output summary
- bot fix style bot fix style
- Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing
- Close stale issues and PRs Close stale issues and PRs
- continuous integration continuous integration
- continuous integration (mathlib forks) continuous integration (mathlib forks)
- continuous integration (staging) continuous integration (staging)
Management
- Caches

continuous integration (mathlib forks)

Actions

Loading...
Loading

3 workflow runs

3 workflow runs

generalize to Monoid+MulAction continuous integration (mathlib forks) #3: Pull request #1 opened by alreadydone

1d 0h 0m 2s

1d 0h 0m 2s

oops continuous integration (mathlib forks) #2: Commit 274aac3 pushed by xroblot

12m 57s xfr-wip

xfr-wip

12m 57s

oops continuous integration (mathlib forks) #1: Commit 274aac3 pushed by xroblot

12m 19s xfr-stick_wip

xfr-stick_wip

12m 19s