Skip to content

Actions: rosborn/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Rewrite proofs using simp/simp_all Run pre-commit and in-place update PR on push #8: Commit 166060b pushed by rosborn
23s rosborn/iSup-characteristic
rosborn/iSup-characteristic
23s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #7: completed by rosborn
1s
1s
chore(Linter/DirectoryDependency): move forbidden directories into a … continuous integration #7: Commit 9e2bee7 pushed by rosborn
1s rosborn/dirdep-json
rosborn/dirdep-json
1s
chore(Linter/DirectoryDependency): move forbidden directories into a … Run pre-commit and in-place update PR on push #7: Commit 9e2bee7 pushed by rosborn
34s rosborn/dirdep-json
rosborn/dirdep-json
34s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #6: completed by rosborn
1s
1s
Merge remote-tracking branch 'origin/master' into rosborn/iSup-charac… continuous integration #6: Commit 6413cf0 pushed by rosborn
10s rosborn/iSup-characteristic
rosborn/iSup-characteristic
10s
Merge remote-tracking branch 'origin/master' into rosborn/iSup-charac… Run pre-commit and in-place update PR on push #6: Commit 6413cf0 pushed by rosborn
28s rosborn/iSup-characteristic
rosborn/iSup-characteristic
28s
Merge remote-tracking branch 'origin/master' into rosborn/iSup-charac… Autolabel PRs #2: Commit 6413cf0 pushed by rosborn
9s rosborn/iSup-characteristic
rosborn/iSup-characteristic
9s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #5: completed by rosborn
1s
1s
make sup and iSup theorems instances; rename predicate-first continuous integration #5: Commit 16e6a68 pushed by rosborn
1s rosborn/iSup-characteristic
rosborn/iSup-characteristic
1s
make sup and iSup theorems instances; rename predicate-first Run pre-commit and in-place update PR on push #5: Commit 16e6a68 pushed by rosborn
21s rosborn/iSup-characteristic
rosborn/iSup-characteristic
21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #4: completed by rosborn
1s
1s
Merge remote-tracking branch 'origin/master' into rosborn/iSup-charac… continuous integration #4: Commit 14a0aa5 pushed by rosborn
1s rosborn/iSup-characteristic
rosborn/iSup-characteristic
1s
Merge remote-tracking branch 'origin/master' into rosborn/iSup-charac… Autolabel PRs #1: Commit 14a0aa5 pushed by rosborn
1s rosborn/iSup-characteristic
rosborn/iSup-characteristic
1s
Merge remote-tracking branch 'origin/master' into rosborn/iSup-charac… Run pre-commit and in-place update PR on push #4: Commit 14a0aa5 pushed by rosborn
26s rosborn/iSup-characteristic
rosborn/iSup-characteristic
26s
feat(Algebra/Group/Subgroup): add sup/iSup/biSup/sSup_characteristic (Unnamed workflow) #2: Commit 1978e9f pushed by rosborn
Startup failure rosborn/iSup-characteristic
rosborn/iSup-characteristic
Startup failure
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #3: completed by pre-commit-ci-lite Bot
2s
2s
[pre-commit.ci lite] apply automatic fixes Run pre-commit and in-place update PR on push #3: Commit 432934b pushed by pre-commit-ci-lite Bot
24s rosborn/primary-component-total
rosborn/primary-component-total
24s
[pre-commit.ci lite] apply automatic fixes continuous integration #3: Commit 432934b pushed by pre-commit-ci-lite Bot
1s rosborn/primary-component-total
rosborn/primary-component-total
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #2: completed by rosborn
2s
2s
Remove unnecessary lambdas continuous integration #2: Commit 4f062fc pushed by rosborn
12s rosborn/primary-component-total
rosborn/primary-component-total
12s
Remove unnecessary lambdas Run pre-commit and in-place update PR on push #2: Commit 4f062fc pushed by rosborn
22s rosborn/primary-component-total
rosborn/primary-component-total
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #1: completed by rosborn
1s
1s
Normalize formatting + tidy proofs continuous integration #1: Commit 574c824 pushed by rosborn
1s rosborn/primary-component-total
rosborn/primary-component-total
1s
Normalize formatting + tidy proofs Run pre-commit and in-place update PR on push #1: Commit 574c824 pushed by rosborn
29s rosborn/primary-component-total
rosborn/primary-component-total
29s
ProTip! You can narrow down the results and go further in time using created:<2026-05-19 or the other filters available.