Skip to content

Actions: LeanOxide/lemma

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
99 workflow runs
99 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
feat: support mirrored Lean release assets Continuous Integration #76: Commit 4d66b6a pushed by AndPuQing
1m 11s main
main
1m 11s
feat: support mirrored Lean release assets Continuous Integration #75: Commit 8ddec87 pushed by AndPuQing
44s main
main
44s
docs: update repository links to LeanOxide Continuous Integration #74: Commit 10a8aaa pushed by AndPuQing
1m 13s main
main
1m 13s
ci: skip Codecov CLI signature validation Continuous Integration #73: Commit 0264131 pushed by AndPuQing
1m 12s main
main
1m 12s
ci: use LeanOxide Codecov slug Continuous Integration #72: Commit 94aa334 pushed by AndPuQing
1m 12s main
main
1m 12s
ci: upload coverage to Codecov project slug Continuous Integration #71: Commit e433e04 pushed by AndPuQing
4m 59s main
main
4m 59s
ci: use repository Codecov token Continuous Integration #70: Commit 64961ae pushed by AndPuQing
1m 15s main
main
1m 15s
ci: target Codecov upload to canonical repository Continuous Integration #69: Commit b33890f pushed by AndPuQing
1m 9s main
main
1m 9s
ci: enable verbose Codecov upload diagnostics Continuous Integration #68: Commit b9cdfe9 pushed by AndPuQing
1m 12s main
main
1m 12s
ci: authenticate Codecov upload with OIDC Continuous Integration #67: Commit 6f85f7c pushed by AndPuQing
1m 12s main
main
1m 12s
ci: avoid failing when Codecov upload is unavailable Continuous Integration #66: Commit 982323f pushed by AndPuQing
1m 19s main
main
1m 19s
refactor: remove unused environment constants Continuous Integration #65: Commit cf217c2 pushed by AndPuQing
1m 10s main
main
1m 10s
refactor: remove unused environment constants Continuous Integration #64: Commit f69e16a pushed by AndPuQing
1m 6s main
main
1m 6s
refactor: remove unused environment constants Continuous Integration #63: Commit fc57716 pushed by AndPuQing
2m 15s main
main
2m 15s
Refocus CLI on toolchain management Continuous Integration #62: Commit 8909224 pushed by AndPuQing
1m 52s main
main
1m 52s
chore: simplify distribution setup Continuous Integration #61: Commit 09b414e pushed by AndPuQing
2m 25s main
main
2m 25s
feat: Enhance compilation process with ModuleSetup JSON and language … Continuous Integration #60: Commit e5bc78c pushed by AndPuQing
1m 24s main
main
1m 24s
feat: Implement toolchain binary resolution and refactor lean binary … Continuous Integration #59: Commit ff2f8b6 pushed by AndPuQing
1m 18s main
main
1m 18s
feat: Update C and object file path generation to support hierarchica… Continuous Integration #58: Commit aaab7be pushed by AndPuQing
1m 20s main
main
1m 20s
feat: Refactor run command to build and execute project binaries with… Continuous Integration #57: Commit 732793a pushed by AndPuQing
1m 18s main
main
1m 18s
feat: Enhance build process with package name support and linking cap… Continuous Integration #56: Commit 5b7e456 pushed by AndPuQing
1m 13s main
main
1m 13s
fmt Continuous Integration #55: Commit 238065b pushed by AndPuQing
45s main
main
45s
feat: Normalize base URL in ReleaseServerClient initialization Continuous Integration #54: Commit e90e834 pushed by AndPuQing
46s main
main
46s
feat: Enhance 'list' command with options to filter installed and ava… Continuous Integration #53: Commit 066483a pushed by AndPuQing
50s main
main
50s
feat: Update environment variable usage to reference constants from l… Continuous Integration #52: Commit f46e22e pushed by AndPuQing
1m 27s main
main
1m 27s