Skip to content

Actions: LeanOxide/lemma

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
119 workflow runs
119 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
Publish Rust Crates Publish Rust Crates #13: Manually run by AndPuQing
2m 0s main
main
2m 0s
Publish Rust Crates Publish Rust Crates #12: Manually run by AndPuQing
1m 23s main
main
1m 23s
Publish Rust Crates Publish Rust Crates #11: Manually run by AndPuQing
1m 21s main
main
1m 21s
Publish Rust Crates Publish Rust Crates #10: Manually run by AndPuQing
54s main
main
54s
Publish Rust Crates Publish Rust Crates #9: Manually run by AndPuQing
2m 12s main
main
2m 12s
build: add description to all crates (crates.io requires it) Continuous Integration #84: Commit 09f76a6 pushed by AndPuQing
2m 12s main
main
2m 12s
Publish Rust Crates Publish Rust Crates #8: Manually run by AndPuQing
16s main
main
16s
v0.2.0 Release #14: Release v0.2.0 created by AndPuQing
3m 17s
3m 17s
ci: skip-existing on PyPI publish (wheels already uploaded) Continuous Integration #83: Commit e84e76a pushed by AndPuQing
1m 43s main
main
1m 43s
Release Release #13: created by AndPuQing
3m 52s
3m 52s
build: include LICENSE in wheel/sdist (PyPI rejects missing license f… Continuous Integration #82: Commit 58b31ca pushed by AndPuQing
2m 0s main
main
2m 0s
Release Release #12: created by AndPuQing
4m 9s
4m 9s
ci: pass --zig via args (maturin-action has no zig input) Continuous Integration #81: Commit 4af128a pushed by AndPuQing
1m 58s main
main
1m 58s
Release Release #11: created by AndPuQing
3m 16s
3m 16s
ci: use zig for aarch64 wheel build (ring needs modern clang) Continuous Integration #80: Commit b84d568 pushed by AndPuQing
2m 17s main
main
2m 17s
Release Release #10: created by AndPuQing
6m 27s
6m 27s
Publish Rust Crates Publish Rust Crates #7: Manually run by AndPuQing
27s main
main
27s
Merge pull request #1 from LeanOxide/fix/distribution-rename-v0.2.0 Continuous Integration #79: Commit 4d40b80 pushed by AndPuQing
2m 25s main
main
2m 25s
build: prepare v0.2.0 for crates.io + PyPI distribution (rename lemma-rs / lemma-lean) Continuous Integration #78: Pull request #1 synchronize by AndPuQing
1m 45s fix/distribution-rename-v0.2.0
fix/distribution-rename-v0.2.0
1m 45s
build: prepare v0.2.0 for crates.io + PyPI distribution (rename lemma-rs / lemma-lean) Continuous Integration #77: Pull request #1 opened by AndPuQing
2m 13s fix/distribution-rename-v0.2.0
fix/distribution-rename-v0.2.0
2m 13s
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