Skip to content

Actions: LeanOxide/leo3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
811 workflow runs
811 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
docs(repl): record FFI export audit findings in layout comments CI #589: Commit 2f05eda pushed by AndPuQing
2m 5s main
main
2m 5s
feat(repl): sanitize goal hypothesis names like the frontend CI #588: Commit bb639e7 pushed by AndPuQing
2m 11s main
main
2m 11s
fix(repl): render tactic error messages with MessageData.toString CI #587: Commit c195d65 pushed by AndPuQing
2m 11s main
main
2m 11s
feat(repl): render goals with Lean's real pretty printer CI #586: Commit d6519bd pushed by AndPuQing
2m 18s main
main
2m 18s
fix(repl): thread command-produced environments into Core.State CI #585: Commit f299f9b pushed by AndPuQing
2m 42s main
main
2m 42s
feat(repl): parse and elaborate .lean source files CI #584: Commit 71941cc pushed by AndPuQing
2m 29s main
main
2m 29s
Lean Release Watch Lean Release Watch #11: Scheduled
12s main
main
12s
fix(repl): run_command writes the environment back and reports errors CI #583: Commit a25e55c pushed by AndPuQing
2m 36s main
main
2m 36s
CI CI #582: Scheduled
1m 48s main
main
1m 48s
fix(repl): set Command.Context.ref to the command's Syntax (like the … CI #581: Commit aa8ea18 pushed by AndPuQing
2m 3s main
main
2m 3s
chore(repl): final cleanup after run_cmd investigation CI #580: Commit 589395e pushed by AndPuQing
1m 45s main
main
1m 45s
chore(repl): keep run_command experimental; document declaration sync… CI #579: Commit 459d8a5 pushed by AndPuQing
1m 38s main
main
1m 38s
fix(ffi): NameSet is Std.TreeSet (not HashSet); MessageLog has 3 fields CI #578: Commit 9113223 pushed by AndPuQing
1m 41s main
main
1m 41s
fix(ffi): PersistentArray/HashMap empty are thunks, not statics; Name… CI #577: Commit b72db5f pushed by AndPuQing
2m 8s main
main
2m 8s
feat(repl): real elaborator bridge — runTactic/import/parse + replay … CI #576: Commit 352d317 pushed by AndPuQing
1m 25s main
main
1m 25s
fix(ffi): dispatch MetaM.toIO on the Lean version (4.20 uses _rarg sy… CI #575: Commit bc6cb77 pushed by AndPuQing
2m 34s main
main
2m 34s
fix(meta): run MetaM via MetaM.toIO instead of MetaM.run CI #574: Commit 82603fa pushed by AndPuQing
11m 38s main
main
11m 38s
Lean Release Watch Lean Release Watch #10: Scheduled
14s main
main
14s
CI CI #573: Scheduled
2h 0m 35s main
main
2h 0m 35s
fix(meta): correct consume/borrow semantics of local-context and Cons… CI #572: Commit b41f725 pushed by AndPuQing
2m 49s main
main
2m 49s
ci: rerun full matrix attempt 3 (previous run's Careful and ubuntu-ni… CI #571: Commit c16ba5e pushed by AndPuQing
7m 37s main
main
7m 37s
ci: rerun full matrix (ubuntu nightly/beta jobs hung without output; … CI #570: Commit 2100ecf pushed by AndPuQing
2h 23m 25s main
main
2h 23m 25s
ci: pin cargo-careful job to nightly-2026-08-03 CI #569: Commit 28794df pushed by AndPuQing
3h 4m 55s main
main
3h 4m 55s
test: link meta fixtures against the Lean runtime instead of no-lean CI #568: Commit 205358b pushed by AndPuQing
2h 51m 17s main
main
2h 51m 17s
test: surface fixture cargo build stderr on failure CI #567: Commit 6c0af48 pushed by AndPuQing
6m 37s main
main
6m 37s