Skip to content

Actions: argumentcomputer/ix

Actions

CI Jobs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
956 workflow runs
956 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): bump the rust-dependencies group across 1 directory with 65 updates CI Jobs #956: Pull request #294 opened by dependabot bot
7m 3s dependabot-cargo-rust-dependencies-ca1c938c46
dependabot-cargo-rust-dependencies-ca1c938c46
7m 3s
chore: bump multi-stark (#293) CI Jobs #955: Commit ab0de36 pushed by arthurpaulino
9m 12s main
main
9m 12s
chore: bump multi-stark CI Jobs #954: Pull request #293 synchronize by arthurpaulino
6m 27s ap/bump-multi-stark
ap/bump-multi-stark
6m 27s
chore: bump multi-stark CI Jobs #953: Pull request #293 opened by arthurpaulino
6m 36s ap/bump-multi-stark
ap/bump-multi-stark
6m 36s
chore: Update to Lean v4.26.0 and Rust 1.92 (#290) CI Jobs #952: Commit 570b50c pushed by samuelburnham
3m 33s main
main
3m 33s
chore: Update to Lean v4.26.0 and Rust 1.92 CI Jobs #951: Pull request #290 synchronize by samuelburnham
3m 28s lean-v4.26.0
lean-v4.26.0
3m 28s
chore(deps): bump the rust-dependencies group across 1 directory with 121 updates CI Jobs #950: Pull request #292 opened by dependabot bot
3m 46s dependabot-cargo-rust-dependencies-b18e51aa74
dependabot-cargo-rust-dependencies-b18e51aa74
3m 46s
chore(deps): bump the actions-dependencies group with 2 updates CI Jobs #949: Pull request #271 synchronize by dependabot bot
2m 17s dependabot/github_actions/actions-dependencies-2635f8cd97
dependabot/github_actions/actions-dependencies-2635f8cd97
2m 17s
Aiur refactor (#289) CI Jobs #948: Commit a887561 pushed by gabriel-barrett
2m 38s main
main
2m 38s
WIP: Ixon serialization rewrite with large speed and size reduction CI Jobs #947: Pull request #288 synchronize by johnchandlerburnham
3m 2s jcb/lacon
jcb/lacon
3m 2s
chore: Update to Lean v4.26.0 and Rust 1.92 CI Jobs #946: Pull request #290 synchronize by samuelburnham
2m 42s lean-v4.26.0
lean-v4.26.0
2m 42s
Aiur refactor CI Jobs #945: Pull request #289 synchronize by gabriel-barrett
3m 42s aiur-refactor
aiur-refactor
3m 42s
chore: Update to Lean v4.26.0 and Rust 1.92 CI Jobs #944: Pull request #290 opened by samuelburnham
3m 48s lean-v4.26.0
lean-v4.26.0
3m 48s
Aiur refactor CI Jobs #943: Pull request #289 synchronize by gabriel-barrett
3m 4s aiur-refactor
aiur-refactor
3m 4s
Aiur refactor CI Jobs #942: Pull request #289 synchronize by gabriel-barrett
1m 43s aiur-refactor
aiur-refactor
1m 43s
Aiur refactor CI Jobs #941: Pull request #289 opened by gabriel-barrett
3m 2s aiur-refactor
aiur-refactor
3m 2s
WIP: Ixon serialization rewrite with large speed and size reduction CI Jobs #940: Pull request #288 synchronize by johnchandlerburnham
3m 27s jcb/lacon
jcb/lacon
3m 27s
WIP: Ixon serialization rewrite with large speed and size reduction CI Jobs #939: Pull request #288 opened by johnchandlerburnham
3m 21s jcb/lacon
jcb/lacon
3m 21s
chore(deps): bump the rust-dependencies group across 1 directory with 114 updates CI Jobs #938: Pull request #287 opened by dependabot bot
2m 52s dependabot-cargo-rust-dependencies-8eed9403e1
dependabot-cargo-rust-dependencies-8eed9403e1
2m 52s
chore(deps): bump the rust-dependencies group across 1 directory with 103 updates CI Jobs #937: Pull request #286 opened by dependabot bot
3m 22s dependabot-cargo-rust-dependencies-7d16e8af91
dependabot-cargo-rust-dependencies-7d16e8af91
3m 22s
chore(deps): bump the rust-dependencies group across 1 directory with 98 updates CI Jobs #936: Pull request #285 opened by dependabot bot
2m 33s dependabot-cargo-rust-dependencies-158772278e
dependabot-cargo-rust-dependencies-158772278e
2m 33s
chore(deps): bump the rust-dependencies group across 1 directory with 95 updates CI Jobs #935: Pull request #284 opened by dependabot bot
3m 12s dependabot-cargo-rust-dependencies-952f28519e
dependabot-cargo-rust-dependencies-952f28519e
3m 12s
chore(deps): bump the rust-dependencies group across 1 directory with 76 updates CI Jobs #934: Pull request #283 opened by dependabot bot
2m 55s dependabot-cargo-rust-dependencies-c3e9b6b2b4
dependabot-cargo-rust-dependencies-c3e9b6b2b4
2m 55s
chore(deps): bump the actions-dependencies group with 2 updates CI Jobs #933: Pull request #271 synchronize by dependabot bot
3m 4s dependabot/github_actions/actions-dependencies-2635f8cd97
dependabot/github_actions/actions-dependencies-2635f8cd97
3m 4s
Jcb/compilation roundtrip (#282) CI Jobs #932: Commit 09dd03b pushed by johnchandlerburnham
3m 25s main
main
3m 25s