Skip to content

Actions: scholzhannah/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
364 workflow runs
364 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. #133: completed by scholzhannah
1s
1s
use alias_in attribute continuous integration #133: Commit 8f25975 pushed by scholzhannah
1s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
1s
use alias_in attribute Run pre-commit and in-place update PR on push #84: Commit 8f25975 pushed by scholzhannah
29s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
29s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #132: completed by scholzhannah
1s
1s
Merge branch 'master' into Hannah/subcomplexisCompletelyDistribLattice continuous integration #132: Commit 55c82e5 pushed by scholzhannah
1s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
1s
Merge branch 'master' into Hannah/subcomplexisCompletelyDistribLattice Run pre-commit and in-place update PR on push #83: Commit 55c82e5 pushed by scholzhannah
36s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
36s
Merge branch 'master' into Hannah/subcomplexisCompletelyDistribLattice Autolabel PRs #14: Commit 55c82e5 pushed by scholzhannah
1s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #131: completed by scholzhannah
1s
1s
add ToDo continuous integration #131: Commit c173c45 pushed by scholzhannah
2s flexibleLinter
flexibleLinter
2s
add ToDo Run pre-commit and in-place update PR on push #82: Commit c173c45 pushed by scholzhannah
30s flexibleLinter
flexibleLinter
30s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #130: completed by scholzhannah
7s
7s
doc(Geometry/Manifold/VectorField/Pullback): fix typo Run pre-commit and in-place update PR on push #81: Commit 7d2aa57 pushed by scholzhannah
31s ManifoldTypo
ManifoldTypo
31s
doc(Geometry/Manifold/VectorField/Pullback): fix typo continuous integration #130: Commit 7d2aa57 pushed by scholzhannah
2s ManifoldTypo
ManifoldTypo
2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #129: completed by scholzhannah
2s
2s
better wildcard explanation continuous integration #129: Commit 9f1bab9 pushed by scholzhannah
8s flexibleLinter
flexibleLinter
8s
better wildcard explanation Run pre-commit and in-place update PR on push #80: Commit 9f1bab9 pushed by scholzhannah
24s flexibleLinter
flexibleLinter
24s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #128: completed by scholzhannah
1s
1s
set option substring to true Run pre-commit and in-place update PR on push #79: Commit e8d20da pushed by scholzhannah
24s flexibleLinter
flexibleLinter
24s
set option substring to true continuous integration #128: Commit e8d20da pushed by scholzhannah
1s flexibleLinter
flexibleLinter
1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #127: completed by scholzhannah
1s
1s
code by Chris + push for cache continuous integration #127: Commit 1c82db8 pushed by scholzhannah
9s flexibleLinter
flexibleLinter
9s
code by Chris + push for cache Autolabel PRs #13: Commit 1c82db8 pushed by scholzhannah
1s flexibleLinter
flexibleLinter
1s
code by Chris + push for cache Run pre-commit and in-place update PR on push #78: Commit 1c82db8 pushed by scholzhannah
22s flexibleLinter
flexibleLinter
22s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #126: completed by scholzhannah
2s
2s
add fun_prop continuous integration #126: Commit b71bb04 pushed by scholzhannah
1s funpropPartialHomeomorph
funpropPartialHomeomorph
1s