Skip to content

Actions: scholzhannah/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
541 workflow runs
541 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
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #195: completed by scholzhannah
2s
2s
chore: fix typo to generalize mvfderiv composition lemmas continuous integration #195: Commit d05badb pushed by scholzhannah
1s generalizeCompLemmas
generalizeCompLemmas
1s
chore: fix typo to generalize mvfderiv composition lemmas Run pre-commit and in-place update PR on push #146: Commit d05badb pushed by scholzhannah
28s generalizeCompLemmas
generalizeCompLemmas
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #194: completed by scholzhannah
1s
1s
more linter errors continuous integration #194: Commit cac2193 pushed by scholzhannah
1s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
1s
more linter errors Run pre-commit and in-place update PR on push #145: Commit cac2193 pushed by scholzhannah
25s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
25s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #193: completed by scholzhannah
1s
1s
Merge branch 'master' into moreExtremaRenames continuous integration #193: Commit ad29069 pushed by scholzhannah
1s moreExtremaRenames
moreExtremaRenames
1s
Merge branch 'master' into moreExtremaRenames Run pre-commit and in-place update PR on push #144: Commit ad29069 pushed by scholzhannah
28s moreExtremaRenames
moreExtremaRenames
28s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #192: completed by scholzhannah
2s
2s
Merge branch 'master' into Hannah/subcomplexisCompletelyDistribLattice continuous integration #192: Commit ebb6513 pushed by scholzhannah
9s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
9s
Merge branch 'master' into Hannah/subcomplexisCompletelyDistribLattice Run pre-commit and in-place update PR on push #143: Commit ebb6513 pushed by scholzhannah
27s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
27s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #191: completed by scholzhannah
1s
1s
fix deprecated lemmas continuous integration #191: Commit d678d4b pushed by scholzhannah
1s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
1s
fix deprecated lemmas Run pre-commit and in-place update PR on push #142: Commit d678d4b pushed by scholzhannah
31s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #190: completed by scholzhannah
1s
1s
use mono instead continuous integration #190: Commit 227c090 pushed by scholzhannah
8s moreExtremaRenames
moreExtremaRenames
8s
use mono instead Run pre-commit and in-place update PR on push #141: Commit 227c090 pushed by scholzhannah
30s moreExtremaRenames
moreExtremaRenames
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #189: completed by scholzhannah
1s
1s
Merge branch 'master' into Hannah/subcomplexisCompletelyDistribLattice continuous integration #189: Commit 11996d7 pushed by scholzhannah
2s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
2s
Merge branch 'master' into Hannah/subcomplexisCompletelyDistribLattice Run pre-commit and in-place update PR on push #140: Commit 11996d7 pushed by scholzhannah
30s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #188: completed by scholzhannah
9s
9s
changes from review continuous integration #188: Commit 4b774c4 pushed by scholzhannah
1s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
1s
changes from review Run pre-commit and in-place update PR on push #139: Commit 4b774c4 pushed by scholzhannah
33s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
33s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #187: completed by scholzhannah
9s
9s