Skip to content

Actions: grootstebozewolf/NetTopologySuite.Proofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
theories: #518 core slice — fully_intersected_host + named side condi… Deploy dashboard to Pages #272: Commit 3bd6b4a pushed by grootstebozewolf
17s main
main
17s
theories: #518 core slice — fully_intersected_host + named side condi… Build and publish oracle_bin #1457: Commit 3bd6b4a pushed by grootstebozewolf
19m 24s main
main
19m 24s
theories: #518 core slice — fully_intersected_host + named side condition → noded_general_position Build and publish oracle_bin #1456: Pull request #794 synchronize by grootstebozewolf
1m 48s claude/518-core-host
claude/518-core-host
1m 48s
theories: #518 core slice — fully_intersected_host + named side condition → noded_general_position build proofs #2231: Pull request #794 synchronize by grootstebozewolf
11s claude/518-core-host
claude/518-core-host
11s
theories: #423 ticket-10 line 1 — discrete ≤ locus Hausdorff and the … Build and publish oracle_bin #1455: Commit 584d80e pushed by grootstebozewolf
15m 2s main
main
15m 2s
theories: #423 ticket-10 line 1 — discrete ≤ locus Hausdorff and the … Deploy dashboard to Pages #271: Commit 584d80e pushed by grootstebozewolf
16s main
main
16s
theories: #423 ticket-10 line 1 — discrete ≤ locus Hausdorff and the … build proofs #2230: Commit 584d80e pushed by grootstebozewolf
20m 20s main
main
20m 20s
theories: #423 ticket-10 line 1 — discrete ≤ locus Hausdorff and the densify-step bound Build and publish oracle_bin #1454: Pull request #792 synchronize by grootstebozewolf
1m 37s claude/423-t10-densify-bound
claude/423-t10-densify-bound
1m 37s
theories: #423 ticket-10 line 1 — discrete ≤ locus Hausdorff and the densify-step bound build proofs #2229: Pull request #792 synchronize by grootstebozewolf
2m 38s claude/423-t10-densify-bound
claude/423-t10-densify-bound
2m 38s
docs: P-AUDIT-STUB — stub the three superseded Phase-3 audits (#793) build proofs #2228: Commit 6011b0c pushed by grootstebozewolf
20m 23s main
main
20m 23s
Add Hausdorff distance metrics: densify bound and discrete oracle build proofs #2227: Pull request #795 opened by grootstebozewolf
2m 44s claude/423-t10-oracle-modes
claude/423-t10-oracle-modes
2m 44s
Add Hausdorff distance metrics: densify bound and discrete oracle Build and publish oracle_bin #1453: Pull request #795 opened by grootstebozewolf
1m 46s claude/423-t10-oracle-modes
claude/423-t10-oracle-modes
1m 46s
theories: #518 core slice — fully_intersected_host + named side condition → noded_general_position Build and publish oracle_bin #1452: Pull request #794 synchronize by grootstebozewolf
1m 40s claude/518-core-host
claude/518-core-host
1m 40s
theories: #518 core slice — fully_intersected_host + named side condition → noded_general_position build proofs #2226: Pull request #794 synchronize by grootstebozewolf
3m 18s claude/518-core-host
claude/518-core-host
3m 18s
theories: #423 ticket-10 line 1 — discrete ≤ locus Hausdorff and the densify-step bound build proofs #2225: Pull request #792 synchronize by grootstebozewolf
3m 15s claude/423-t10-densify-bound
claude/423-t10-densify-bound
3m 15s
theories: #423 ticket-10 line 1 — discrete ≤ locus Hausdorff and the densify-step bound Build and publish oracle_bin #1451: Pull request #792 synchronize by grootstebozewolf
1m 45s claude/423-t10-densify-bound
claude/423-t10-densify-bound
1m 45s
theories: closed Jordan true-region for taut polygonal rings — Relate… build proofs #2224: Commit 298b62e pushed by grootstebozewolf
20m 18s main
main
20m 18s
theories: closed Jordan true-region for taut polygonal rings — Relate… Build and publish oracle_bin #1450: Commit 298b62e pushed by grootstebozewolf
14m 59s main
main
14m 59s
theories: closed Jordan true-region for taut polygonal rings — Relate… Deploy dashboard to Pages #270: Commit 298b62e pushed by grootstebozewolf
20s main
main
20s
theories: closed Jordan true-region for taut polygonal rings — RelateNGJordanTrueRegion inhabits Build and publish oracle_bin #1449: Pull request #791 synchronize by grootstebozewolf
1m 41s claude/relateng-jordan-true-region
claude/relateng-jordan-true-region
1m 41s
theories: closed Jordan true-region for taut polygonal rings — RelateNGJordanTrueRegion inhabits build proofs #2223: Pull request #791 synchronize by grootstebozewolf
6m 18s claude/relateng-jordan-true-region
claude/relateng-jordan-true-region
6m 18s
theories: #518 core slice — fully_intersected_host + named side condition → noded_general_position build proofs #2222: Pull request #794 synchronize by grootstebozewolf
3m 22s claude/518-core-host
claude/518-core-host
3m 22s
theories: #518 core slice — fully_intersected_host + named side condition → noded_general_position Build and publish oracle_bin #1448: Pull request #794 synchronize by grootstebozewolf
2m 1s claude/518-core-host
claude/518-core-host
2m 1s
theories: #518 core slice — fully_intersected_host + named side condition → noded_general_position build proofs #2221: Pull request #794 opened by grootstebozewolf
17s claude/518-core-host
claude/518-core-host
17s
theories: #518 core slice — fully_intersected_host + named side condition → noded_general_position Build and publish oracle_bin #1447: Pull request #794 opened by grootstebozewolf
1m 58s claude/518-core-host
claude/518-core-host
1m 58s