Skip to content

Actions: inventor1975/VRCycle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
213 workflow runs
213 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
Core comments: retire stale axiom-profile claims Build blueprint pages #83: Commit de72f58 pushed by inventor1975
1m 15s master
master
1m 15s
Core comments: retire stale axiom-profile claims Lean Action CI #130: Commit de72f58 pushed by inventor1975
2m 5s master
master
2m 5s
Blueprint: rewrite the VR-Forms chapter for the OpSet era Build blueprint pages #82: Commit 11ec54c pushed by inventor1975
1m 12s master
master
1m 12s
Blueprint: rewrite the VR-Forms chapter for the OpSet era Lean Action CI #129: Commit 11ec54c pushed by inventor1975
1m 53s master
master
1m 53s
Docs and blueprint on the new layout; all 501 blueprint anchors resolve Build blueprint pages #81: Commit 3de8a5a pushed by inventor1975
1m 8s master
master
1m 8s
Docs and blueprint on the new layout; all 501 blueprint anchors resolve Lean Action CI #128: Commit 3de8a5a pushed by inventor1975
1m 31s master
master
1m 31s
The VR core depends on Lean alone: no Mathlib import in VR/ Build blueprint pages #80: Commit ab3a51b pushed by inventor1975
57s master
master
57s
The VR core depends on Lean alone: no Mathlib import in VR/ Lean Action CI #127: Commit ab3a51b pushed by inventor1975
3m 12s master
master
3m 12s
Rename VR/SetsZTL → VR/ZTL: the ZTL layer over the one operational un… Build blueprint pages #79: Commit 6a24c39 pushed by inventor1975
59s master
master
59s
Rename VR/SetsZTL → VR/ZTL: the ZTL layer over the one operational un… Lean Action CI #126: Commit 6a24c39 pushed by inventor1975
3m 3s master
master
3m 3s
Rename VR/VRArithmetic.lean → VR/Arithmetic.lean (module VR.Arithmetic) Lean Action CI #125: Commit 95631a2 pushed by inventor1975
4m 1s master
master
4m 1s
Rename VR/VRArithmetic.lean → VR/Arithmetic.lean (module VR.Arithmetic) Build blueprint pages #78: Commit 95631a2 pushed by inventor1975
58s master
master
58s
Integrity programme steps 4–5: topology verdict, witnessed Mode A on [] Lean Action CI #124: Commit 7b2963e pushed by inventor1975
2m 14s master
master
2m 14s
Integrity programme steps 4–5: topology verdict, witnessed Mode A on [] Build blueprint pages #77: Commit 7b2963e pushed by inventor1975
1m 8s master
master
1m 8s
Integrity 2–3: VR-Forms over the operational universe OpSet — realisa… Lean Action CI #123: Commit 17a2002 pushed by inventor1975
2m 9s master
master
2m 9s
Integrity 2–3: VR-Forms over the operational universe OpSet — realisa… Build blueprint pages #76: Commit 17a2002 pushed by inventor1975
53s master
master
53s
Integrity 1f: order, apartness and rinvPos (reciprocal of a positive … Build blueprint pages #75: Commit 41a6205 pushed by inventor1975
56s master
master
56s
Integrity 1f: order, apartness and rinvPos (reciprocal of a positive … Lean Action CI #122: Commit 41a6205 pushed by inventor1975
2m 19s master
master
2m 19s
Integrity 1e (iii): Continuum/Real as the bridge over RealsOp; Pre.of… Lean Action CI #121: Commit 8c23510 pushed by inventor1975
2m 9s master
master
2m 9s
Integrity 1e (iii): Continuum/Real as the bridge over RealsOp; Pre.of… Build blueprint pages #74: Commit 8c23510 pushed by inventor1975
1m 3s master
master
1m 3s
Integrity 1d: the continuum's ℚ and ℂ on VR's own numbers — Qop/Gauss… Build blueprint pages #73: Commit 35af8a4 pushed by inventor1975
1m 1s master
master
1m 1s
Integrity 1d: the continuum's ℚ and ℂ on VR's own numbers — Qop/Gauss… Lean Action CI #120: Commit 35af8a4 pushed by inventor1975
2m 34s master
master
2m 34s
Integrity 1c: RationalsOp with positive denominators and the order (q… Build blueprint pages #72: Commit 283ce7f pushed by inventor1975
57s master
master
57s
Integrity 1c: RationalsOp with positive denominators and the order (q… Lean Action CI #119: Commit 283ce7f pushed by inventor1975
2m 21s master
master
2m 21s
VR-LOGIC §1: three kinds of axiom in Lean, three verdicts (walked aro… Lean Action CI #118: Commit 26bb71b pushed by inventor1975
4m 53s master
master
4m 53s