Skip to content

Actions: grootstebozewolf/jts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
411 workflow runs
411 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
test: refresh Rocq orientation proof vectors with corpus integer pins GitHub CI #353: Commit 168a7ef pushed by grootstebozewolf
1m 52s feature/orientation-robustness-tests
feature/orientation-robustness-tests
1m 52s
M-LEN-CC: pin compound-curve total length to the verified oracle GitHub CI #352: Commit 74ef1da pushed by grootstebozewolf
3m 52s archive/feature/sfa-curve-M-LEN-CC-rgr
archive/feature/sfa-curve-M-LEN-CC-rgr
3m 52s
RGR for TAG V-CS (red, green, refactor) GitHub CI #351: Commit 3208658 pushed by grootstebozewolf
1m 52s archive/feature/sfa-curve-V-CS-rgr
archive/feature/sfa-curve-V-CS-rgr
1m 52s
spec: update D-AA fail msg to note analytical (consistent with D-PT) GitHub CI #350: Commit 990c3ee pushed by grootstebozewolf
2m 42s archive/feature/sfa-curve-D-AA-rgr
archive/feature/sfa-curve-D-AA-rgr
2m 42s
test: drop V/R/D red tests (V-CP/V-CS, R-*, D-*) ship cluster (phases… GitHub CI #349: Commit e1f55fd pushed by grootstebozewolf
2m 48s archive/feature/sfa-curve-B-MS-rgr
archive/feature/sfa-curve-B-MS-rgr
2m 48s
doc: mark M-DIM RGR complete in warmup analysis GitHub CI #348: Commit 54f36b9 pushed by grootstebozewolf
2m 45s archive/feature/sfa-curve-M-DIM-rgr
archive/feature/sfa-curve-M-DIM-rgr
2m 45s
harden: add vector load + resources stub for proofs integration in M-… GitHub CI #347: Commit 654a899 pushed by grootstebozewolf
3m 45s archive/feature/sfa-curve-M-AREA-CP-rgr
archive/feature/sfa-curve-M-AREA-CP-rgr
3m 45s
RGR for TAG D-PT (red, green, refactor) GitHub CI #346: Commit d2bfa47 pushed by grootstebozewolf
3m 46s archive/feature/sfa-curve-D-PT-rgr
archive/feature/sfa-curve-D-PT-rgr
3m 46s
RGR for TAG B-CP (red, green, refactor) GitHub CI #345: Commit b6e2dc7 pushed by grootstebozewolf
4m 7s archive/feature/sfa-curve-B-CP-rgr
archive/feature/sfa-curve-B-CP-rgr
4m 7s
chore(curve): drop red-test meter convention for V-CP/V-CS (and updat… GitHub CI #344: Commit d31e632 pushed by grootstebozewolf
2m 21s archive/feature/sfa-curve-V-CP-rgr
archive/feature/sfa-curve-V-CP-rgr
2m 21s
continue: PRC-SN harden (proofs#66) GitHub CI #343: Commit ecbcd68 pushed by grootstebozewolf
2m 29s archive/feature/sfa-curve-PRC-SN-rgr
archive/feature/sfa-curve-PRC-SN-rgr
2m 29s
test: extend B-CC verification to also cover CircularString boundary … GitHub CI #342: Commit e651177 pushed by grootstebozewolf
1m 42s archive/feature/sfa-curve-B-CC-rgr
archive/feature/sfa-curve-B-CC-rgr
1m 42s
R-PR: re-verify relate building-block vectors against the artifact + … GitHub CI #341: Commit 008f7c7 pushed by grootstebozewolf
1m 2s archive/feature/sfa-curve-R-PR
archive/feature/sfa-curve-R-PR
1m 2s
[curved] RGR for TAG M-LEN-CS / M-LEN-CC: arc-length hardening + ship GitHub CI #340: Commit 0a09e48 pushed by grootstebozewolf
3m 56s archive/sfa/M-LEN
archive/sfa/M-LEN
3m 56s
R-EQ: document that curve equality is structural (no oracle pin applies) GitHub CI #339: Commit 0b0301d pushed by grootstebozewolf
3m 12s archive/feature/sfa-curve-R-EQ
archive/feature/sfa-curve-R-EQ
3m 12s
OFF: expand arc radial-offset proof vectors and provenance GitHub CI #337: Commit 0aaa4fc pushed by grootstebozewolf
4m 22s archive/feature/sfa-curve-OFF
archive/feature/sfa-curve-OFF
4m 22s
spec: F-CP Option-B spike -- return-type widening (RULE-OUT for Phase 1) GitHub CI #338: Commit 0a78015 pushed by grootstebozewolf
1m 32s archive/feature/sfa-curve-F-CP-spike-optionB
archive/feature/sfa-curve-F-CP-spike-optionB
1m 32s
C-LIN: expand arc-centroid proof vectors and provenance GitHub CI #336: Commit 0a8e528 pushed by grootstebozewolf
4m 28s archive/feature/sfa-curve-C-LIN
archive/feature/sfa-curve-C-LIN
4m 28s
spec: F-CP Option-C spike -- fail-fast + 32-probe blast radius (RULE-… GitHub CI #335: Commit 1435d4d pushed by grootstebozewolf
2m 55s archive/feature/sfa-curve-F-CP-spike-optionC
archive/feature/sfa-curve-F-CP-spike-optionC
2m 55s
[curved+app] Fix CI: restore canonical license header on adapted files GitHub CI #334: Commit 157be43 pushed by grootstebozewolf
1m 55s archive/feature/sfa-curve-testbuilder-ui
archive/feature/sfa-curve-testbuilder-ui
1m 55s
Integrate RocqRefRunner + ORIENT_EXACT vectors from proofs artifact (… GitHub CI #333: Commit 2991049 pushed by grootstebozewolf
3m 42s archive/feat/f-cp-structural-curvepolygon-option-a
archive/feat/f-cp-structural-curvepolygon-option-a
3m 42s
S-DP: document that the SIMPLIFY oracle is a different DP variant (no… GitHub CI #332: Commit 0bddf53 pushed by grootstebozewolf
2m 55s archive/feature/sfa-curve-S-DP
archive/feature/sfa-curve-S-DP
2m 55s
C-IP: document chord-polygon containment scope (no false oracle pin) GitHub CI #331: Commit 1266b4c pushed by grootstebozewolf
4m 17s archive/sfa/C-IP
archive/sfa/C-IP
4m 17s
spec: PRC-SN spike -- snap-to-grid on a CircularString (Phase 7) GitHub CI #330: Commit 29daa32 pushed by grootstebozewolf
1m 35s archive/feature/sfa-curve-PRC-SN-spike
archive/feature/sfa-curve-PRC-SN-spike
1m 35s
PIX (novel TAG): arc-pixel grid coverage, grounded in the oracle GitHub CI #329: Commit 3149969 pushed by grootstebozewolf
4m 24s archive/feature/sfa-curve-PIX
archive/feature/sfa-curve-PIX
4m 24s