Skip to content

Actions: argumentcomputer/ix

Actions

CI Jobs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,172 workflow runs
1,172 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
Kernel refactor CI Jobs #1364: Pull request #355 synchronize by gabriel-barrett
6m 17s kernel-refactor
kernel-refactor
6m 17s
Kernel refactor CI Jobs #1363: Pull request #355 synchronize by gabriel-barrett
6m 27s kernel-refactor
kernel-refactor
6m 27s
feat(aiur): Migrate Aiur to new pipeline (#392) CI Jobs #1362: Commit 2994616 pushed by arthurpaulino
6m 25s main
main
6m 25s
chore(aiur): Migrate Aiur to new pipeline CI Jobs #1361: Pull request #392 synchronize by arthurpaulino
5m 35s ap/new-aiur
ap/new-aiur
5m 35s
chore(aiur): Migrate Aiur to new pipeline CI Jobs #1360: Pull request #392 opened by arthurpaulino
5m 48s ap/new-aiur
ap/new-aiur
5m 48s
feat(aiur): Migrate Aiur to new pipeline CI Jobs #1359: Pull request #391 opened by arthurpaulino
3m 57s ap/new-aiur
ap/new-aiur
3m 57s
chore(deps): bump the rust-dependencies group with 71 updates CI Jobs #1358: Pull request #390 opened by dependabot Bot
3m 22s dependabot-cargo-rust-dependencies-3172533888
dependabot-cargo-rust-dependencies-3172533888
3m 22s
feat: Pipelined & polymorphic bgroup (#388) CI Jobs #1357: Commit 24fe0a1 pushed by samuelburnham
5m 14s main
main
5m 14s
feat: Polymorphic benchmark bgroup CI Jobs #1356: Pull request #388 opened by samuelburnham
5m 43s samuelburnham:ci-bench-pipeline
samuelburnham:ci-bench-pipeline
5m 43s
Bench test CI Jobs #1355: Pull request #387 opened by samuelburnham
5m 6s samuelburnham:bench-test
samuelburnham:bench-test
5m 6s
Kernel refactor CI Jobs #1354: Pull request #355 synchronize by gabriel-barrett
4m 39s kernel-refactor
kernel-refactor
4m 39s
Kernel refactor CI Jobs #1353: Pull request #355 synchronize by gabriel-barrett
39s kernel-refactor
kernel-refactor
39s
Kernel refactor CI Jobs #1352: Pull request #355 synchronize by gabriel-barrett
4m 58s kernel-refactor
kernel-refactor
4m 58s
Kernel refactor CI Jobs #1351: Pull request #355 synchronize by gabriel-barrett
4m 9s kernel-refactor
kernel-refactor
4m 9s
Kernel refactor CI Jobs #1350: Pull request #355 synchronize by gabriel-barrett
5m 21s kernel-refactor
kernel-refactor
5m 21s
Kernel refactor CI Jobs #1349: Pull request #355 synchronize by gabriel-barrett
5m 26s kernel-refactor
kernel-refactor
5m 26s
Kernel refactor CI Jobs #1348: Pull request #355 synchronize by gabriel-barrett
5m 12s kernel-refactor
kernel-refactor
5m 12s
Kernel refactor CI Jobs #1347: Pull request #355 synchronize by gabriel-barrett
4m 46s kernel-refactor
kernel-refactor
4m 46s
chore: Fix compile benchmarks (#386) CI Jobs #1346: Commit 33d0fed pushed by samuelburnham
5m 4s main
main
5m 4s
chore: Fix compile benchmarks CI Jobs #1345: Pull request #386 opened by samuelburnham
4m 17s bench-compile
bench-compile
4m 17s
chore: Update Lean to v4.29.0 (#385) CI Jobs #1344: Commit 78038b9 pushed by samuelburnham
6m 8s main
main
6m 8s
chore: Update Lean to v4.29.0 CI Jobs #1343: Pull request #385 opened by samuelburnham
6m 43s lean-v4.29.0
lean-v4.29.0
6m 43s
chore: Update lean-ffi (#380) CI Jobs #1342: Commit ba06e44 pushed by samuelburnham
4m 38s main
main
4m 38s
chore: Update lean-ffi CI Jobs #1341: Pull request #380 synchronize by samuelburnham
5m 32s update-lean-ffi
update-lean-ffi
5m 32s
Fixed Kernel.lean debug mode (#384) CI Jobs #1340: Commit 1350590 pushed by gabriel-barrett
4m 49s main
main
4m 49s