continuous integration · Workflow runs · slavanaprienko/mathlib4 · GitHub

Actions

All workflows
Workflows
- Autolabel PRs Autolabel PRs
- continuous integration continuous integration
- Export workflow telemetry Export workflow telemetry
- Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing.
- Run pre-commit and in-place update PR on push Run pre-commit and in-place update PR on push
- Zulip emoji CI status Zulip emoji CI status
Management
- Caches

continuous integration

Actions

Loading...
Loading

5 workflow runs

5 workflow runs

Merge branch 'master' into feat-desnanot-jacobi continuous integration #5: Commit 32c2f6d pushed by slavanaprienko

2s feat-desnanot-jacobi

feat-desnanot-jacobi

2s

fix: use finsetSum_coeff (post-merge deprecation) continuous integration #4: Commit 41da35c pushed by slavanaprienko

2s feat-charpoly-coeff-minors

feat-charpoly-coeff-minors

2s

Merge branch 'master' into feat-desnanot-jacobi continuous integration #3: Commit 4741fb9 pushed by slavanaprienko

1s feat-desnanot-jacobi

feat-desnanot-jacobi

1s

Merge branch 'feat-desnanot-jacobi' of github.com:slavanaprienko/math… continuous integration #2: Commit f5da949 pushed by slavanaprienko

1s feat-desnanot-jacobi

feat-desnanot-jacobi

1s

Merge branch 'master' into feat-desnanot-jacobi continuous integration #1: Commit 1a5dd0e pushed by slavanaprienko

1s feat-desnanot-jacobi

feat-desnanot-jacobi

1s