Skip to content

Actions: argumentcomputer/lean-ffi

Actions

CI Jobs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
71 workflow runs
71 workflow runs

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
chore(deps): Bump the rust-dependencies group across 1 directory with 11 updates CI Jobs #72: Pull request #18 opened by dependabot Bot
2m 46s dependabot-cargo-rust-dependencies-2e14613078
dependabot-cargo-rust-dependencies-2e14613078
2m 46s
chore(deps): Bump the actions-dependencies group with 2 updates CI Jobs #71: Pull request #17 opened by dependabot Bot
2m 46s dependabot/github_actions/actions-dependencies-02325a8da5
dependabot/github_actions/actions-dependencies-02325a8da5
2m 46s
chore(deps): Bump the rust-dependencies group across 1 directory with 10 updates CI Jobs #70: Pull request #16 opened by dependabot Bot
2m 59s dependabot-cargo-rust-dependencies-aed6d09734
dependabot-cargo-rust-dependencies-aed6d09734
2m 59s
chore(deps): Bump the rust-dependencies group across 1 directory with 9 updates CI Jobs #69: Pull request #15 opened by dependabot Bot
2m 48s dependabot-cargo-rust-dependencies-13ca907dcd
dependabot-cargo-rust-dependencies-13ca907dcd
2m 48s
chore(deps): Bump the rust-dependencies group across 1 directory with 7 updates CI Jobs #68: Pull request #14 opened by dependabot Bot
2m 35s dependabot-cargo-rust-dependencies-97c1d905bd
dependabot-cargo-rust-dependencies-97c1d905bd
2m 35s
chore(deps): Bump the rust-dependencies group across 1 directory with 6 updates CI Jobs #67: Pull request #13 opened by dependabot Bot
3m 0s dependabot-cargo-rust-dependencies-c71df5bd00
dependabot-cargo-rust-dependencies-c71df5bd00
3m 0s
chore(deps): Bump the rust-dependencies group across 1 directory with 2 updates CI Jobs #66: Pull request #11 synchronize by dependabot Bot
2m 33s dependabot-cargo-rust-dependencies-52d6d89dd4
dependabot-cargo-rust-dependencies-52d6d89dd4
2m 33s
chore: Factor out bignat library (#12) CI Jobs #65: Commit 839b405 pushed by samuelburnham
2m 49s main
main
2m 49s
chore: Factor out bignat library CI Jobs #64: Pull request #12 synchronize by samuelburnham
3m 36s bignat
bignat
3m 36s
chore: Factor out bignat library CI Jobs #63: Pull request #12 synchronize by samuelburnham
2m 48s bignat
bignat
2m 48s
chore: Factor out bignat library CI Jobs #62: Pull request #12 synchronize by samuelburnham
2m 42s bignat
bignat
2m 42s
chore: Factor out bignat library CI Jobs #61: Pull request #12 synchronize by samuelburnham
2m 56s bignat
bignat
2m 56s
chore: Factor out bignat library CI Jobs #60: Pull request #12 opened by samuelburnham
4m 31s bignat
bignat
4m 31s
chore(deps): Bump the rust-dependencies group across 1 directory with 2 updates CI Jobs #59: Pull request #11 opened by dependabot Bot
3m 50s dependabot-cargo-rust-dependencies-52d6d89dd4
dependabot-cargo-rust-dependencies-52d6d89dd4
3m 50s
Bump the rust-dependencies group across 1 directory with 4 updates (#9) CI Jobs #58: Commit beabc40 pushed by samuelburnham
2m 49s main
main
2m 49s
chore(deps): Bump the rust-dependencies group across 1 directory with 4 updates CI Jobs #57: Pull request #9 synchronize by dependabot Bot
2m 42s dependabot-cargo-rust-dependencies-6f2de84ce9
dependabot-cargo-rust-dependencies-6f2de84ce9
2m 42s
chore: Update Lean to v4.29.0 (#10) CI Jobs #56: Commit cc98ebf pushed by samuelburnham
2m 46s main
main
2m 46s
chore: Update Lean to v4.29.0 CI Jobs #55: Pull request #10 opened by samuelburnham
2m 53s lean-v4.29.0
lean-v4.29.0
2m 53s
feat: LeanCtorLayout trait and lean_inductive! macro (#8) CI Jobs #54: Commit 345b210 pushed by samuelburnham
2m 46s main
main
2m 46s
feat: LeanCtorLayout trait and lean_inductive! macro CI Jobs #53: Pull request #8 synchronize by samuelburnham
3m 35s lean-ctor
lean-ctor
3m 35s
feat: LeanCtorLayout trait and lean_inductive! macro CI Jobs #52: Pull request #8 synchronize by samuelburnham
2m 48s lean-ctor
lean-ctor
2m 48s
feat: LeanCtorLayout trait and lean_inductive! macro CI Jobs #51: Pull request #8 synchronize by samuelburnham
2m 51s lean-ctor
lean-ctor
2m 51s
feat: LeanCtorLayout trait and lean_inductive! macro CI Jobs #50: Pull request #8 synchronize by samuelburnham
2m 41s lean-ctor
lean-ctor
2m 41s
feat: LeanCtorLayout trait and lean_inductive! macro CI Jobs #49: Pull request #8 synchronize by samuelburnham
2m 45s lean-ctor
lean-ctor
2m 45s
feat: LeanCtorLayout trait and lean_inductive! macro CI Jobs #48: Pull request #8 synchronize by samuelburnham
2m 38s lean-ctor
lean-ctor
2m 38s