Skip to content

Actions: grootstebozewolf/NetTopologySuite.Proofs

Actions

Package rocq-robust-geometric-predicates

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
package-robust-predicates.yml
36 workflow runs
36 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 pull request #26 from MerkatorBV/courier/fork-2be00ea-plus-758-… Package rocq-robust-geometric-predicates #36: Commit e51d3af pushed by grootstebozewolf
2m 51s main
main
2m 51s
Merge pull request #543 from grootstebozewolf/fix/add-geometric-keyword Package rocq-robust-geometric-predicates #35: Commit 115d94b pushed by grootstebozewolf
4m 16s main
main
4m 16s
Add the geometric keywords the rename implied Package rocq-robust-geometric-predicates #34: Pull request #543 opened by grootstebozewolf
2m 52s fix/add-geometric-keyword
fix/add-geometric-keyword
2m 52s
rocq-robust-geometric-predicates 0.1.0 Package rocq-robust-geometric-predicates #33: Release rocq-robust-geometric-predicates-v0.1.0 published by grootstebozewolf
7m 47s
7m 47s
Merge pull request #542 from grootstebozewolf/fix/opam-review-nits Package rocq-robust-geometric-predicates #32: Commit 7f9a60f pushed by grootstebozewolf
2m 50s main
main
2m 50s
Address opam archive review: rename, drop ocaml dep, fix maintainer Package rocq-robust-geometric-predicates #31: Pull request #542 opened by grootstebozewolf
2m 54s fix/opam-review-nits
fix/opam-review-nits
2m 54s
Package rocq-robust-geometric-predicates Package rocq-robust-geometric-predicates #30: published by grootstebozewolf
7m 2s
7m 2s
rocq-spatial-algebra 0.1.0 Package rocq-robust-geometric-predicates #29: Release rocq-spatial-algebra-v0.1.0 published by grootstebozewolf
2m 43s
2m 43s
Merge pull request #537 from grootstebozewolf/feat/rename-packages-to… Package rocq-robust-geometric-predicates #28: Commit 2bc06e7 pushed by grootstebozewolf
2m 53s main
main
2m 53s
Rename packages to rocq-* and restart versioning at 0.1.0 Package rocq-robust-geometric-predicates #27: Pull request #537 opened by grootstebozewolf
2m 44s feat/rename-packages-to-rocq
feat/rename-packages-to-rocq
2m 44s
Split Intersect_b64_exact into six layered modules (#472) Package rocq-robust-geometric-predicates #26: Commit 4410e35 pushed by grootstebozewolf
2m 49s main
main
2m 49s
Split Intersect_b64_exact into six layered modules Package rocq-robust-geometric-predicates #25: Pull request #472 synchronize by grootstebozewolf
2m 39s feat/split-intersect-b64-exact
feat/split-intersect-b64-exact
2m 39s
Split Intersect_b64_exact into six layered modules Package rocq-robust-geometric-predicates #24: Pull request #472 opened by grootstebozewolf
2m 41s feat/split-intersect-b64-exact
feat/split-intersect-b64-exact
2m 41s
Merge pull request #310 from grootstebozewolf/claude/next-rung-mtdp90 Package rocq-robust-geometric-predicates #23: Commit 4789617 pushed by grootstebozewolf
5m 35s main
main
5m 35s
proof(arc): discharge arc_dot_max_at_endpoint — corpus now 0 Admitted Package rocq-robust-geometric-predicates #22: Pull request #310 synchronize by grootstebozewolf
3m 0s claude/next-rung-mtdp90
claude/next-rung-mtdp90
3m 0s
proof(arc): discharge arc_dot_max_at_endpoint — corpus now 0 Admitted Package rocq-robust-geometric-predicates #21: Pull request #310 synchronize by grootstebozewolf
5m 44s claude/next-rung-mtdp90
claude/next-rung-mtdp90
5m 44s
Merge pull request #293 from grootstebozewolf/claude/busy-mccarthy-vl… Package rocq-robust-geometric-predicates #20: Commit 2c627e9 pushed by grootstebozewolf
2m 23s main
main
2m 23s
ci(publish): run opam publish under a pseudo-tty so it auto-confirms in CI Package rocq-robust-geometric-predicates #19: Pull request #293 opened by grootstebozewolf
2m 15s claude/busy-mccarthy-vly1n7
claude/busy-mccarthy-vly1n7
2m 15s
Package rocq-robust-geometric-predicates Package rocq-robust-geometric-predicates #18: published by grootstebozewolf
6m 24s
6m 24s
Package rocq-robust-geometric-predicates Package rocq-robust-geometric-predicates #17: published by grootstebozewolf
2m 1s
2m 1s
Merge pull request #291 from grootstebozewolf/claude/busy-mccarthy-vl… Package rocq-robust-geometric-predicates #16: Commit 949b9b9 pushed by grootstebozewolf
2m 38s main
main
2m 38s
ci(publish): auto-confirm opam publish via OPAMCONFIRMLEVEL=unsafe-yes Package rocq-robust-geometric-predicates #15: Pull request #291 opened by grootstebozewolf
2m 16s claude/busy-mccarthy-vly1n7
claude/busy-mccarthy-vly1n7
2m 16s
Package rocq-robust-geometric-predicates Package rocq-robust-geometric-predicates #14: published by grootstebozewolf
5m 29s
5m 29s
Package rocq-robust-geometric-predicates Package rocq-robust-geometric-predicates #13: published by grootstebozewolf
2m 21s
2m 21s
Merge pull request #289 from grootstebozewolf/claude/busy-mccarthy-vl… Package rocq-robust-geometric-predicates #12: Commit 9b32d32 pushed by grootstebozewolf
2m 15s main
main
2m 15s