Skip to content

Actions: argumentcomputer/lean-ffi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
283 workflow runs
283 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
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #16: Scheduled
44s main
main
44s
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
chore(deps): Bump actions/checkout from 6 to 7 in the actions-dependencies group CI Jobs #96: Pull request #29 opened by dependabot Bot
2m 27s dependabot/github_actions/actions-dependencies-640176b5ab
dependabot/github_actions/actions-dependencies-640176b5ab
2m 27s
cargo in / for cc, num-bigint, autocfg, bitflags, clang-sys, either, glob, libc, log, memchr, proc-macro2, quote, regex, regex-automata, regex-syntax, rustc-hash, syn - Update #1541693094 Dependabot Updates #72: by dependabot Bot
2m 1s main
main
2m 1s
github_actions in /. - Update #1541693013 Dependabot Updates #71: by dependabot Bot
1m 12s main
main
1m 12s
cargo in /. - Update #1541693020 Dependabot Updates #70: by dependabot Bot
34s main
main
34s
Scheduled CodeQL #99: by github-advanced-security AI
2m 17s main
main
2m 17s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #15: Scheduled
36s main
main
36s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #14: Scheduled
34s main
main
34s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #13: Scheduled
34s main
main
34s
Update Lean toolchain and pinned deps Update Lean toolchain and pinned deps #12: Scheduled
33s main
main
33s
chore: Update Rust to v1.98 (#28) CI Jobs #95: Commit 93c7e52 pushed by samuelburnham
2m 28s main
main
2m 28s
Push on main CodeQL #98: by samuelburnham
2m 9s main
main
2m 9s
chore: Update Rust to v1.98 CI Jobs #94: Pull request #28 opened by samuelburnham
2m 45s update/rust-1.98
update/rust-1.98
2m 45s
PR #28 CodeQL #97: by samuelburnham
1m 59s refs/pull/28/head
refs/pull/28/head
1m 59s
chore(deps): Bump the rust-dependencies group across 1 directory with 17 updates CI Jobs #93: Pull request #24 synchronize by samuelburnham
2m 30s dependabot-cargo-rust-dependencies-90622d5194
dependabot-cargo-rust-dependencies-90622d5194
2m 30s
PR #24 CodeQL #96: by samuelburnham
2m 36s refs/pull/24/head
refs/pull/24/head
2m 36s
chore: Update Lean to v4.33.1 (#27) CI Jobs #92: Commit 2a9c91e pushed by samuelburnham
2m 31s main
main
2m 31s
Push on main CodeQL #95: by samuelburnham
2m 48s main
main
2m 48s
chore: Update Lean to v4.33.1 CI Jobs #91: Pull request #27 synchronize by samuelburnham
3m 10s update/lean-v4.33.1
update/lean-v4.33.1
3m 10s
PR #27 CodeQL #94: by samuelburnham
2m 34s refs/pull/27/head
refs/pull/27/head
2m 34s
chore: Update Lean to v4.33.1 CI Jobs #90: Pull request #27 synchronize by samuelburnham
38s update/lean-v4.33.1
update/lean-v4.33.1
38s
PR #27 CodeQL #93: by samuelburnham
2m 12s refs/pull/27/head
refs/pull/27/head
2m 12s
Push on main CodeQL #92: by samuelburnham
2m 38s main
main
2m 38s
chore(deps): Bump the actions-dependencies group across 1 directory w… CI Jobs #89: Commit dfbfdda pushed by samuelburnham
2m 45s main
main
2m 45s