Skip to content

Actions: ooovi/Polyhedral

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
925 workflow runs
925 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
making IsHomogenization a struct Lean Action CI #762: Pull request #100 synchronize by ooovi
1m 44s homogenization_struct
homogenization_struct
1m 44s
making a fancy H Lean Action CI #761: Commit 895aa0f pushed by ooovi
1m 44s homogenization_struct
homogenization_struct
1m 44s
making IsHomogenization a struct Lean Action CI #760: Pull request #100 synchronize by ooovi
4m 30s homogenization_struct
homogenization_struct
4m 30s
Merge remote-tracking branch 'origin/main' into homogenization_struct Lean Action CI #759: Commit 0c65f69 pushed by ooovi
32m 22s homogenization_struct
homogenization_struct
32m 22s
making IsHomogenization a struct Lean Action CI #758: Commit f1bb7d6 pushed by ooovi
29m 37s homogenization_struct
homogenization_struct
29m 37s
feat: more lemmas Lean Action CI #757: Pull request #99 synchronize by vlad902
3m 36s Workshop-Polyhedra-In-Lean:more-lemmas
Workshop-Polyhedra-In-Lean:more-lemmas
3m 36s
feat: more lemmas Lean Action CI #756: Pull request #99 synchronize by vlad902
3m 7s Workshop-Polyhedra-In-Lean:more-lemmas
Workshop-Polyhedra-In-Lean:more-lemmas
3m 7s
feat: more lemmas Lean Action CI #755: Pull request #99 synchronize by vlad902
3m 12s Workshop-Polyhedra-In-Lean:more-lemmas
Workshop-Polyhedra-In-Lean:more-lemmas
3m 12s
feat: more lemmas Lean Action CI #754: Pull request #99 opened by vlad902
3m 26s Workshop-Polyhedra-In-Lean:more-lemmas
Workshop-Polyhedra-In-Lean:more-lemmas
3m 26s
Bump mathlib (#98) Lean Action CI #753: Commit a7fe1c9 pushed by martinwintermath
19m 58s main
main
19m 58s
Bump mathlib Lean Action CI #752: Pull request #98 opened by vlad902
4m 16s Workshop-Polyhedra-In-Lean:mathlib-bump
Workshop-Polyhedra-In-Lean:mathlib-bump
4m 16s
Add missing hypotheses to mem_relint_dual and its sibling (#85) Lean Action CI #751: Commit 7c272f7 pushed by martinwintermath
26m 40s main
main
26m 40s
feat: misc. basic API lemmas (#91) Lean Action CI #750: Commit 8e055cc pushed by martinwintermath
19m 10s main
main
19m 10s
feat: misc. basic API lemmas Lean Action CI #749: Pull request #91 synchronize by vlad902
2m 4s Workshop-Polyhedra-In-Lean:api-lemmas
Workshop-Polyhedra-In-Lean:api-lemmas
2m 4s
feat: misc. basic API lemmas Lean Action CI #748: Pull request #91 synchronize by vlad902
2m 22s Workshop-Polyhedra-In-Lean:api-lemmas
Workshop-Polyhedra-In-Lean:api-lemmas
2m 22s
Add missing hypotheses to mem_relint_dual and its sibling Lean Action CI #747: Pull request #85 synchronize by mo271
2m 34s mo271:fix-relint-dual
mo271:fix-relint-dual
2m 34s
feat(Geometry/Convex): characterize hulls of ranges via convex combin… Lean Action CI #746: Commit c812fb2 pushed by martinwintermath
27m 35s main
main
27m 35s
feat: affine maps to a module form a module (#96) Lean Action CI #745: Commit cd28968 pushed by martinwintermath
26m 59s main
main
26m 59s
grounded polytopes (#95) Lean Action CI #744: Commit 9dce13d pushed by martinwintermath
26m 8s main
main
26m 8s
feat(Geometry/Convex): characterize hulls of ranges via convex combinations Lean Action CI #743: Pull request #92 synchronize by kilianar
3m 4s kilianar:convexHull-range
kilianar:convexHull-range
3m 4s
Add missing hypotheses to mem_relint_dual and its sibling Lean Action CI #742: Pull request #85 synchronize by mo271
3m 9s mo271:fix-relint-dual
mo271:fix-relint-dual
3m 9s
Fix positive_eq_hull_preimage_singleton and move homogenize_top (… Lean Action CI #741: Commit e4837b7 pushed by martinwintermath
25m 1s main
main
25m 1s
Minor Lean Action CI #740: Commit 1ba939f pushed by martinwintermath
17m 51s main
main
17m 51s
Add missing hypotheses to mem_relint_dual and its sibling Lean Action CI #739: Pull request #85 synchronize by mo271
2m 54s mo271:fix-relint-dual
mo271:fix-relint-dual
2m 54s
Fix positive_eq_hull_preimage_singleton and move homogenize_top Lean Action CI #738: Pull request #84 synchronize by mo271
2m 55s mo271:fix-positive-hull
mo271:fix-positive-hull
2m 55s