Skip to content

Actions: WolframInstitute/TuringMachine

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 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
fix(inductive-proofs): context-robust rendering, raw/formal boundary Build Paclet #63: Commit ac15271 pushed by sw1sh
39s main
main
39s
chore(paclet): bump version to 1.1.3, rename extension Build Paclet #62: Commit ff67008 pushed by sw1sh
2m 46s main
main
2m 46s
feat: forward sub-proof-cone options through DirectOverlap growth Build Paclet #61: Commit 895771c pushed by sw1sh
6m 2s main
main
6m 2s
chore(paclet): bump rust-library pin to cadc9fb, fix triples wrapper,… Build Paclet #60: Commit 3d747a9 pushed by sw1sh
3m 3s main
main
3m 3s
Merge pull request #1 from WolframInstitute/bugtheory-viz Build Paclet #59: Commit d1637f1 pushed by willemnielsen
2m 46s main
main
2m 46s
feat: add InductiveProofs package with equational-induction proofs an… Build Paclet #58: Commit df65917 pushed by sw1sh
2m 52s main
main
2m 52s
docs: render README as a MarkdownToNotebook twin with live outputs Build Paclet #57: Commit d3a4735 pushed by sw1sh
2m 36s main
main
2m 36s
Build Paclet Build Paclet #56: Manually run by sw1sh
2m 31s main
main
2m 31s
refactor: clean up universality proof files Build Paclet #51: Commit c730019 pushed by sw1sh
3m 1s main
main
3m 1s
feat: track all Lean proof source files Build Paclet #50: Commit 2efe572 pushed by sw1sh
2m 42s main
main
2m 42s
refactor: eliminate all sorry's via axiomatized published results Build Paclet #49: Commit a2590d7 pushed by sw1sh
2m 46s main
main
2m 46s
refactor: reduce sorry count from 3 to 2 in universality proof Build Paclet #48: Commit c431073 pushed by sw1sh
6m 24s main
main
6m 24s
fix: complete v4.29.0-rc6 API migration for all proof files Build Paclet #47: Commit 5693173 pushed by sw1sh
3m 1s main
main
3m 1s
fix: update proofs for Lean v4.29.0-rc6 compatibility Build Paclet #46: Commit d5761cb pushed by sw1sh
3m 9s main
main
3m 9s
chore: update LeanLink — eliminate LeanTruncated, head-preserving depth Build Paclet #45: Commit 39b291f pushed by sw1sh
6m 7s main
main
6m 7s
Use numeric step types and clean build Build Paclet #44: Commit 81db6ee pushed by sw1sh
3m 9s main
main
3m 9s
Add maxErrors parameter to OneSidedTuringMachineFind with range support Build Paclet #43: Commit 6dbc638 pushed by sw1sh
2m 58s main
main
2m 58s
Add Rust-side rule sieve for OneSidedTuringMachineFind Build Paclet #42: Commit 683326d pushed by sw1sh
6m 41s main
main
6m 41s
Submit Submit #26: Manually run by sw1sh
3m 57s main
main
3m 57s
Fixes paclet path handling Build Paclet #41: Commit 37e52e0 pushed by sw1sh
3m 4s main
main
3m 4s
Submit Submit #25: Manually run by sw1sh
2m 52s main
main
2m 52s
Passes expanded notebook path Build Paclet #40: Commit 5464d4c pushed by sw1sh
3m 11s main
main
3m 11s
Add PacletResource notebook processing option for CI Build Paclet #39: Commit 86ef921 pushed by sw1sh
1m 47s main
main
1m 47s
Fix act volume mount syntax - use --container-options Build Paclet #38: Commit 1d3295c pushed by sw1sh
30s main
main
30s
Simplify: Submit step back in build job, same container Build Paclet #37: Commit bbb2ab2 pushed by sw1sh
9s main
main
9s