Skip to content

Actions: lucyhorowitz/ChainCert

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 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
make examples prettier Lean Action CI #27: Commit 42a1453 pushed by lucyhorowitz
2h 10m 57s master
master
2h 10m 57s
Merge pull request #1 from lucyhorowitz/chain-condition Lean Action CI #26: Commit f91cf57 pushed by lucyhorowitz
1h 49m 44s master
master
1h 49m 44s
Optimize homology certificate generation Lean Action CI #25: Pull request #1 opened by lucyhorowitz
2m 50s chain-condition
chain-condition
2m 50s
Optimize homology certificate generation Lean Action CI #24: Commit a552a1a pushed by lucyhorowitz
2h 5m 28s chain-condition
chain-condition
2h 5m 28s
Add RP² torsion example via certified SNF bridge Lean Action CI #23: Commit fa6ce2c pushed by lucyhorowitz
1h 16m 3s codex-homology-bridge-fix
codex-homology-bridge-fix
1h 16m 3s
Merge branch 'codex-homology-bridge-fix': RP² torsion example + bridg… Lean Action CI #22: Commit 1780c7e pushed by lucyhorowitz
1h 25m 6s master
master
1h 25m 6s
bridge and tactic fixes Lean Action CI #21: Commit fab9255 pushed by lucyhorowitz
1h 18m 16s master
master
1h 18m 16s
Fix API documentation workflow Lean Action CI #20: Commit fec8eed pushed by lucyhorowitz
2h 4m 12s master
master
2h 4m 12s
Rename project to ChainCert Lean Action CI #19: Commit 368623b pushed by lucyhorowitz
1h 46m 38s master
master
1h 46m 38s
Save current Cultivar work Lean Action CI #18: Commit 6ae07fd pushed by lucyhorowitz
2h 7m 13s master
master
2h 7m 13s
a bunhc of stuff Lean Action CI #17: Commit 8493e55 pushed by lucyhorowitz
2m 0s master
master
2m 0s
fix some snf tactic stuff Lean Action CI #16: Commit 72309c1 pushed by lucyhorowitz
2m 12s master
master
2m 12s
Apply all current updates Lean Action CI #15: Commit e4b19e7 pushed by lucyhorowitz
1m 54s master
master
1m 54s
Refactor SNF verification layers and add divisibility diagnostics Lean Action CI #14: Commit 5df2b62 pushed by lucyhorowitz
2m 6s master
master
2m 6s
WIP: snapshot current Cultivar changes Lean Action CI #13: Commit 97066ea pushed by lucyhorowitz
2m 14s master
master
2m 14s
finish verif for diag Lean Action CI #12: Commit 28a9c69 pushed by lucyhorowitz
1m 51s master
master
1m 51s
Add SNF diagonal verification diagnostics and tests Lean Action CI #11: Commit 713895d pushed by lucyhorowitz
2m 1s master
master
2m 1s
Reorganize SNF into subdirectory; refactor CertificateSNF with defaul… Lean Action CI #10: Commit 19809cc pushed by lucyhorowitz
1m 54s master
master
1m 54s
Add boundary_verify tactic and move Differential into Boundary Lean Action CI #9: Commit ace1ec1 pushed by lucyhorowitz
1m 56s master
master
1m 56s
Rename #diff command to #boundary Lean Action CI #8: Commit 0d092b9 pushed by lucyhorowitz
1m 55s master
master
1m 55s
Add boundary-check diagnostics and Bool/Prop bridge helpers Lean Action CI #7: Commit 7469dbc pushed by lucyhorowitz
2m 5s master
master
2m 5s
Fix boundary-check evaluation path and command wiring Lean Action CI #6: Commit 00f2f5d pushed by lucyhorowitz
1m 51s master
master
1m 51s
Implement boundary verification pipeline, commands, and examples reorg Lean Action CI #5: Commit 690d0d9 pushed by lucyhorowitz
1m 53s master
master
1m 53s
Add #diff command and boundary-map op to Sage server Lean Action CI #4: Commit c081f39 pushed by lucyhorowitz
1m 46s master
master
1m 46s
Add #diff command and boundary-map op to Sage server Create Release #2: Commit c081f39 pushed by lucyhorowitz
11s master
master
11s