Skip to content

Actions: argumentcomputer/lean-ffi

Actions

CI Jobs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
120 workflow runs
120 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 23 updates CI Jobs #121: Pull request #34 synchronize by dependabot Bot
2m 34s dependabot-cargo-rust-dependencies-609bfd7802
dependabot-cargo-rust-dependencies-609bfd7802
2m 34s
chore: Update Rust to 1.99.0 CI Jobs #120: Pull request #40 opened by github-actions Bot
Action required update/rust-1.99.0
update/rust-1.99.0
Action required
ci: update the Rust toolchain weekly (#39) CI Jobs #119: Commit b4beefd pushed by samuelburnham
2m 5s main
main
2m 5s
ci: update the Rust toolchain weekly CI Jobs #118: Pull request #39 opened by samuelburnham
1m 56s ci/update-rust
ci/update-rust
1m 56s
chore(deps): Bump the rust-dependencies group across 1 directory with 23 updates CI Jobs #117: Pull request #34 synchronize by dependabot Bot
2m 18s dependabot-cargo-rust-dependencies-609bfd7802
dependabot-cargo-rust-dependencies-609bfd7802
2m 18s
ci: pin actions to commit SHAs and lint workflows (#38) CI Jobs #116: Commit f2a4cba pushed by samuelburnham
2m 24s main
main
2m 24s
ci: pin actions to commit SHAs and lint workflows CI Jobs #115: Pull request #38 synchronize by samuelburnham
3m 5s ci/pin-actions
ci/pin-actions
3m 5s
ci: pin actions to commit SHAs and lint workflows CI Jobs #114: Pull request #38 opened by samuelburnham
2m 50s ci/pin-actions
ci/pin-actions
2m 50s
chore: Update Lean to v4.34.1 (#37) CI Jobs #113: Commit e851cab pushed by samuelburnham
8m 32s main
main
8m 32s
chore: Update Lean to v4.34.1 CI Jobs #112: Pull request #37 opened by github-actions Bot
3m 23s update/lean-v4.34.1
update/lean-v4.34.1
3m 23s
chore: Gate update PR on lean4-nix version (#36) CI Jobs #111: Commit 86d9da3 pushed by samuelburnham
3m 33s main
main
3m 33s
chore: Gate update PR on lean4-nix version CI Jobs #110: Pull request #36 opened by samuelburnham
1m 46s fix/update-token-lean4-nix
fix/update-token-lean4-nix
1m 46s
chore(deps): Bump the rust-dependencies group across 1 directory with 23 updates CI Jobs #109: Pull request #34 synchronize by dependabot Bot
2m 24s dependabot-cargo-rust-dependencies-609bfd7802
dependabot-cargo-rust-dependencies-609bfd7802
2m 24s
chore: Update Lean to v4.34.1 CI Jobs #108: Pull request #35 opened by argument-ci-bot Bot
2m 26s update/lean-v4.34.1
update/lean-v4.34.1
2m 26s
chore(deps): Bump the actions-dependencies group across 1 directory w… CI Jobs #107: Commit 163a661 pushed by samuelburnham
2m 48s main
main
2m 48s
chore(deps): Bump the actions-dependencies group across 1 directory with 2 updates CI Jobs #106: Pull request #33 synchronize by samuelburnham
1m 57s dependabot/github_actions/actions-dependencies-0ab9598cd8
dependabot/github_actions/actions-dependencies-0ab9598cd8
1m 57s
chore(deps): Bump the actions-dependencies group across 1 directory with 2 updates CI Jobs #105: Pull request #33 synchronize by samuelburnham
2m 39s dependabot/github_actions/actions-dependencies-0ab9598cd8
dependabot/github_actions/actions-dependencies-0ab9598cd8
2m 39s
chore: Update Lean to v4.34.0 (#32) CI Jobs #104: Commit 4fbdb08 pushed by samuelburnham
2m 48s main
main
2m 48s
chore: Update Lean to v4.34.0 CI Jobs #103: Pull request #32 synchronize by samuelburnham
5m 12s update/lean-v4.34.0
update/lean-v4.34.0
5m 12s
chore: Update Lean to v4.34.0 CI Jobs #102: Pull request #32 synchronize by samuelburnham
2m 43s update/lean-v4.34.0
update/lean-v4.34.0
2m 43s
chore(deps): Bump the rust-dependencies group across 1 directory with 23 updates CI Jobs #101: Pull request #34 opened by dependabot Bot
2m 48s dependabot-cargo-rust-dependencies-609bfd7802
dependabot-cargo-rust-dependencies-609bfd7802
2m 48s
chore(deps): Bump the actions-dependencies group across 1 directory with 2 updates CI Jobs #100: Pull request #33 opened by dependabot Bot
2m 58s dependabot/github_actions/actions-dependencies-0ab9598cd8
dependabot/github_actions/actions-dependencies-0ab9598cd8
2m 58s
chore: Update Lean to v4.34.0 CI Jobs #99: Pull request #32 opened by argument-ci-bot Bot
2m 42s update/lean-v4.34.0
update/lean-v4.34.0
2m 42s
chore(deps): Bump the rust-dependencies group across 1 directory with 21 updates CI Jobs #98: Pull request #31 opened by dependabot Bot
2m 58s dependabot-cargo-rust-dependencies-6c8d0c6da3
dependabot-cargo-rust-dependencies-6c8d0c6da3
2m 58s
chore(deps): Bump the rust-dependencies group across 1 directory with 20 updates CI Jobs #97: Pull request #30 opened by dependabot Bot
3m 9s dependabot-cargo-rust-dependencies-d397a3fd5b
dependabot-cargo-rust-dependencies-d397a3fd5b
3m 9s