Skip to content

Actions: WolframInstitute/TuringMachine

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 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
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
Add verbose error output to debug submission failure Build Paclet #36: Commit 2cf7103 pushed by sw1sh
21s main
main
21s
Renames definition notebook Build Paclet #35: Commit c374592 pushed by sw1sh
15s main
main
15s
Add WOLFRAM_SYSTEM_ID and WOLFRAMINIT to submit job Build Paclet #34: Commit 0bad2a2 pushed by sw1sh
17s main
main
17s
Rewrite ci_submit.wl based on MCPServer approach Build Paclet #33: Commit 0ff7a30 pushed by sw1sh
12s main
main
12s
Adds paclet site and entitlement env Build Paclet #32: Commit 42af638 pushed by sw1sh
3m 11s main
main
3m 11s
Update Visualizations.wl Build Paclet #18: Commit 3b385ad pushed by willemnielsen
3m 15s main
main
3m 15s
Update .gitignore Build Paclet #17: Commit ab4d2f0 pushed by willemnielsen
3m 15s main
main
3m 15s
Adds Cargo extension back and bumps version Build Paclet #16: Commit b10dbf3 pushed by sw1sh
3m 11s main
main
3m 11s