Skip to content

Actions: scholzhannah/mathlib4

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
15 workflow runs
15 workflow runs

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
Merge branch 'master' into PartialHomeomorph2 Autolabel PRs #17: Commit 0efb715 pushed by scholzhannah
1s PartialHomeomorph2
PartialHomeomorph2
1s
Merge branch 'master' into elaboratorsMDerivBasic Autolabel PRs #16: Commit 5004fcc pushed by scholzhannah
1s elaboratorsMDerivBasic
elaboratorsMDerivBasic
1s
chore(Topology/OpenPartialHomeomorph/Basic): rename OpenPartialHomeom… Autolabel PRs #15: Commit 011eaeb pushed by scholzhannah
1s renameIsEmbedding
renameIsEmbedding
1s
Merge branch 'master' into Hannah/subcomplexisCompletelyDistribLattice Autolabel PRs #14: Commit 55c82e5 pushed by scholzhannah
1s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
1s
code by Chris + push for cache Autolabel PRs #13: Commit 1c82db8 pushed by scholzhannah
1s flexibleLinter
flexibleLinter
1s
Merge branch 'master' into PartialHomeomorph1 Autolabel PRs #12: Commit b6a4170 pushed by scholzhannah
1s PartialHomeomorph1
PartialHomeomorph1
1s
feat(Topology/EMetricSpace): instances of weak extended metric spaces… Autolabel PRs #11: Commit 01e91cd pushed by scholzhannah
2s DiffGeoAttr
DiffGeoAttr
2s
chore: rename some OpenPartialHomeomorph declarations Autolabel PRs #10: Commit 4f23ab1 pushed by scholzhannah
2s scholzhannah/openPartialHomeomorphRenames
scholzhannah/openPartialHomeomorphRenames
2s
fix error Autolabel PRs #9: Commit beefe4d pushed by scholzhannah
1s Hannah/compactcoherentification
Hannah/compactcoherentification
1s
fix error Autolabel PRs #8: Commit b5700a0 pushed by scholzhannah
1s scholzhannah/partialHomeomorph
scholzhannah/partialHomeomorph
1s
Merge branch 'master' into Hannah/subcomplexisCompletelyDistribLattice Autolabel PRs #7: Commit 409ef85 pushed by scholzhannah
1s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
1s
adapt to new lean version, add two lemmas, remove unneeded lemma Autolabel PRs #6: Commit 87f6121 pushed by scholzhannah
2s Hannah/compactcoherentification
Hannah/compactcoherentification
2s
Merge branch 'master' into Hannah/subcomplexisCompletelyDistribLattice Autolabel PRs #5: Commit 6c60497 pushed by scholzhannah
1s Hannah/subcomplexisCompletelyDistribLattice
Hannah/subcomplexisCompletelyDistribLattice
1s
Merge branch 'master' into Hannah/compactcoherentification Autolabel PRs #4: Commit cb1c998 pushed by scholzhannah
2s Hannah/compactcoherentification
Hannah/compactcoherentification
2s
Merge branch 'master' into Hannah/Subcomplex Autolabel PRs #3: Commit b45bbe7 pushed by scholzhannah
1s Hannah/Subcomplex
Hannah/Subcomplex
1s