Skip to content

Actions: argumentcomputer/ix

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
1,152 workflow runs
1,152 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 Nix CI #1162: Pull request #355 synchronize by gabriel-barrett
4m 24s kernel-refactor
kernel-refactor
4m 24s
Kernel refactor Nix CI #1161: Pull request #355 synchronize by gabriel-barrett
4m 31s kernel-refactor
kernel-refactor
4m 31s
feat(aiur): Migrate Aiur to new pipeline (#392) Nix CI #1160: Commit 2994616 pushed by arthurpaulino
4m 49s main
main
4m 49s
chore(aiur): Migrate Aiur to new pipeline Nix CI #1159: Pull request #392 synchronize by arthurpaulino
6m 21s ap/new-aiur
ap/new-aiur
6m 21s
chore(aiur): Migrate Aiur to new pipeline Nix CI #1158: Pull request #392 opened by arthurpaulino
6m 2s ap/new-aiur
ap/new-aiur
6m 2s
feat(aiur): Migrate Aiur to new pipeline Nix CI #1157: Pull request #391 opened by arthurpaulino
3m 50s ap/new-aiur
ap/new-aiur
3m 50s
chore(deps): bump the rust-dependencies group with 71 updates Nix CI #1156: Pull request #390 opened by dependabot Bot
5m 6s dependabot-cargo-rust-dependencies-3172533888
dependabot-cargo-rust-dependencies-3172533888
5m 6s
feat: Pipelined & polymorphic bgroup (#388) Nix CI #1155: Commit 24fe0a1 pushed by samuelburnham
4m 17s main
main
4m 17s
feat: Polymorphic benchmark bgroup Nix CI #1154: Pull request #388 opened by samuelburnham
2m 49s samuelburnham:ci-bench-pipeline
samuelburnham:ci-bench-pipeline
2m 49s
Bench test Nix CI #1153: Pull request #387 opened by samuelburnham
3m 44s samuelburnham:bench-test
samuelburnham:bench-test
3m 44s
Kernel refactor Nix CI #1152: Pull request #355 synchronize by gabriel-barrett
3m 30s kernel-refactor
kernel-refactor
3m 30s
Kernel refactor Nix CI #1151: Pull request #355 synchronize by gabriel-barrett
51s kernel-refactor
kernel-refactor
51s
Kernel refactor Nix CI #1150: Pull request #355 synchronize by gabriel-barrett
4m 48s kernel-refactor
kernel-refactor
4m 48s
Kernel refactor Nix CI #1149: Pull request #355 synchronize by gabriel-barrett
3m 19s kernel-refactor
kernel-refactor
3m 19s
Kernel refactor Nix CI #1148: Pull request #355 synchronize by gabriel-barrett
3m 38s kernel-refactor
kernel-refactor
3m 38s
Kernel refactor Nix CI #1147: Pull request #355 synchronize by gabriel-barrett
3m 29s kernel-refactor
kernel-refactor
3m 29s
Kernel refactor Nix CI #1146: Pull request #355 synchronize by gabriel-barrett
3m 26s kernel-refactor
kernel-refactor
3m 26s
Kernel refactor Nix CI #1145: Pull request #355 synchronize by gabriel-barrett
3m 19s kernel-refactor
kernel-refactor
3m 19s
chore: Fix compile benchmarks (#386) Nix CI #1144: Commit 33d0fed pushed by samuelburnham
3m 58s main
main
3m 58s
chore: Fix compile benchmarks Nix CI #1143: Pull request #386 opened by samuelburnham
3m 2s bench-compile
bench-compile
3m 2s
chore: Update Lean to v4.29.0 (#385) Nix CI #1142: Commit 78038b9 pushed by samuelburnham
4m 23s main
main
4m 23s
chore: Update Lean to v4.29.0 Nix CI #1141: Pull request #385 opened by samuelburnham
5m 6s lean-v4.29.0
lean-v4.29.0
5m 6s
chore: Update lean-ffi (#380) Nix CI #1140: Commit ba06e44 pushed by samuelburnham
4m 16s main
main
4m 16s
chore: Update lean-ffi Nix CI #1139: Pull request #380 synchronize by samuelburnham
3m 50s update-lean-ffi
update-lean-ffi
3m 50s
Fixed Kernel.lean debug mode (#384) Nix CI #1138: Commit 1350590 pushed by gabriel-barrett
4m 22s main
main
4m 22s