Skip to content

Actions: slavanaprienko/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Export workflow telemetry Export workflow telemetry #5: completed by slavanaprienko
9s
9s
Zulip emoji CI status Zulip emoji CI status #10: completed by slavanaprienko
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by slavanaprienko
1s
1s
Zulip emoji CI status Zulip emoji CI status #9: requested by slavanaprienko
1s
1s
Merge branch 'master' into feat-desnanot-jacobi Run pre-commit and in-place update PR on push #5: Commit 32c2f6d pushed by slavanaprienko
32s feat-desnanot-jacobi
feat-desnanot-jacobi
32s
Merge branch 'master' into feat-desnanot-jacobi continuous integration #5: Commit 32c2f6d pushed by slavanaprienko
2s feat-desnanot-jacobi
feat-desnanot-jacobi
2s
Zulip emoji CI status Zulip emoji CI status #8: requested by slavanaprienko
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by slavanaprienko
1s
1s
Export workflow telemetry Export workflow telemetry #4: completed by slavanaprienko
1s
1s
Zulip emoji CI status Zulip emoji CI status #7: completed by slavanaprienko
1s
1s
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
fix: use finsetSum_coeff (post-merge deprecation) Autolabel PRs #2: Commit 41da35c pushed by slavanaprienko
10s feat-charpoly-coeff-minors
feat-charpoly-coeff-minors
10s
fix: use finsetSum_coeff (post-merge deprecation) Run pre-commit and in-place update PR on push #4: Commit 41da35c pushed by slavanaprienko
32s feat-charpoly-coeff-minors
feat-charpoly-coeff-minors
32s
Zulip emoji CI status Zulip emoji CI status #6: completed by slavanaprienko
1s
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by slavanaprienko
1s
1s
Export workflow telemetry Export workflow telemetry #3: completed by slavanaprienko
2s
2s
Zulip emoji CI status Zulip emoji CI status #5: requested by slavanaprienko
1s
1s
Merge branch 'master' into feat-desnanot-jacobi Run pre-commit and in-place update PR on push #3: Commit 4741fb9 pushed by slavanaprienko
32s feat-desnanot-jacobi
feat-desnanot-jacobi
32s
Merge branch 'master' into feat-desnanot-jacobi continuous integration #3: Commit 4741fb9 pushed by slavanaprienko
1s feat-desnanot-jacobi
feat-desnanot-jacobi
1s
Zulip emoji CI status Zulip emoji CI status #4: completed by slavanaprienko
2s
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by slavanaprienko
2s
2s
Export workflow telemetry Export workflow telemetry #2: completed by slavanaprienko
2s
2s
Zulip emoji CI status Zulip emoji CI status #3: requested by slavanaprienko
1s
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 'feat-desnanot-jacobi' of github.com:slavanaprienko/math… Run pre-commit and in-place update PR on push #2: Commit f5da949 pushed by slavanaprienko
28s feat-desnanot-jacobi
feat-desnanot-jacobi
28s