Skip to content

Actions: scholzhannah/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
147 workflow runs
147 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
find_model attribute from Meta Café Run pre-commit and in-place update PR on push #72: Commit 46bdfe0 pushed by scholzhannah
28s DiffGeoAttr
DiffGeoAttr
28s
feat(Topology/EMetricSpace): instances of weak extended metric spaces… Run pre-commit and in-place update PR on push #71: Commit 01e91cd pushed by scholzhannah
30s DiffGeoAttr
DiffGeoAttr
30s
Merge branch 'master' into PartialHomeomorph1 Run pre-commit and in-place update PR on push #70: Commit 61d9ce2 pushed by scholzhannah
30s PartialHomeomorph1
PartialHomeomorph1
30s
Merge branch 'master' into scholzhannah/deprecation Run pre-commit and in-place update PR on push #69: Commit 4b7374d pushed by themathqueen
25s scholzhannah/deprecation
scholzhannah/deprecation
25s
push for cache Run pre-commit and in-place update PR on push #68: Commit 2de63fb pushed by scholzhannah
27s flexibleLinter
flexibleLinter
27s
chore: add missing deprecation Run pre-commit and in-place update PR on push #67: Commit d3a4c03 pushed by scholzhannah
34s scholzhannah/deprecation
scholzhannah/deprecation
34s
Merge branch 'master' into flexibleLinter Run pre-commit and in-place update PR on push #66: Commit d4a504b pushed by scholzhannah
30s flexibleLinter
flexibleLinter
30s
Merge branch 'master' into scholzhannah/openPartialHomeomorphRenames Run pre-commit and in-place update PR on push #65: Commit ec66ed9 pushed by scholzhannah
23s scholzhannah/openPartialHomeomorphRenames
scholzhannah/openPartialHomeomorphRenames
23s
Merge branch 'PartialHomeomorph1' of github.com:scholzhannah/mathlib4… Run pre-commit and in-place update PR on push #64: Commit afde223 pushed by scholzhannah
28s PartialHomeomorph1
PartialHomeomorph1
28s
fix indentation Run pre-commit and in-place update PR on push #63: Commit ccaa504 pushed by scholzhannah
25s scholzhannah/openPartialHomeomorphRenames
scholzhannah/openPartialHomeomorphRenames
25s
rename hypotheses Run pre-commit and in-place update PR on push #62: Commit 2fd7f02 pushed by scholzhannah
27s scholzhannah/openPartialHomeomorphRenames
scholzhannah/openPartialHomeomorphRenames
27s
Merge branch 'PartialHomeomorph1' of github.com:scholzhannah/mathlib4… Run pre-commit and in-place update PR on push #61: Commit ed575f5 pushed by scholzhannah
25s PartialHomeomorph1
PartialHomeomorph1
25s
fix errors Run pre-commit and in-place update PR on push #60: Commit dc31d07 pushed by scholzhannah
24s scholzhannah/openPartialHomeomorphRenames
scholzhannah/openPartialHomeomorphRenames
24s
changed from review + push for cache Run pre-commit and in-place update PR on push #59: Commit 0ad837d pushed by scholzhannah
24s scholzhannah/openPartialHomeomorphRenames
scholzhannah/openPartialHomeomorphRenames
24s
hopefully fix commit history try 2 Run pre-commit and in-place update PR on push #58: Commit 0b8c590 pushed by scholzhannah
28s PartialHomeomorph1
PartialHomeomorph1
28s
Merge branches 'PartialHomeomorph1' and 'PartialHomeomorph1' of githu… Run pre-commit and in-place update PR on push #57: Commit ccff032 pushed by scholzhannah
25s PartialHomeomorph1
PartialHomeomorph1
25s
Merge branch 'master' into scholzhannah/openPartialHomeomorphRenames Run pre-commit and in-place update PR on push #56: Commit 08b3d12 pushed by scholzhannah
26s scholzhannah/openPartialHomeomorphRenames
scholzhannah/openPartialHomeomorphRenames
26s
Merge branch 'PartialHomeomorph1' of github.com:scholzhannah/mathlib4… Run pre-commit and in-place update PR on push #55: Commit 9fadfbb pushed by scholzhannah
28s PartialHomeomorph1
PartialHomeomorph1
28s
revert wrong edits Run pre-commit and in-place update PR on push #54: Commit 18bbd3e pushed by scholzhannah
29s scholzhannah/openPartialHomeomorphRenames
scholzhannah/openPartialHomeomorphRenames
29s
fix some errors + push for cache Run pre-commit and in-place update PR on push #53: Commit 144ec59 pushed by scholzhannah
26s scholzhannah/openPartialHomeomorphRenames
scholzhannah/openPartialHomeomorphRenames
26s
chore: rename some OpenPartialHomeomorph declarations Run pre-commit and in-place update PR on push #52: Commit 4f23ab1 pushed by scholzhannah
29s scholzhannah/openPartialHomeomorphRenames
scholzhannah/openPartialHomeomorphRenames
29s
fix error Run pre-commit and in-place update PR on push #51: Commit 2de4015 pushed by scholzhannah
24s PartialHomeomorph1
PartialHomeomorph1
24s
fix error Run pre-commit and in-place update PR on push #50: Commit 7717f2a pushed by scholzhannah
27s PartialHomeomorph1
PartialHomeomorph1
27s
fix more errors Run pre-commit and in-place update PR on push #49: Commit 373fe4e pushed by scholzhannah
30s PartialHomeomorph1
PartialHomeomorph1
30s
fix errors Run pre-commit and in-place update PR on push #48: Commit 1a14303 pushed by scholzhannah
21s PartialHomeomorph1
PartialHomeomorph1
21s