Skip to content

Actions: argumentcomputer/ix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
chore: Fix compile benchmarks (#386) Extended CI tests #54: Commit 33d0fed pushed by samuelburnham
14m 20s main
main
14m 20s
chore: Fix compile benchmarks (#386) Nix CI #1144: Commit 33d0fed pushed by samuelburnham
3m 58s main
main
3m 58s
Push on main CodeQL #866: by samuelburnham
5m 6s main
main
5m 6s
chore: Fix compile benchmarks CI Jobs #1345: Pull request #386 opened by samuelburnham
4m 17s bench-compile
bench-compile
4m 17s
chore: Fix compile benchmarks Nix CI #1143: Pull request #386 opened by samuelburnham
3m 2s bench-compile
bench-compile
3m 2s
PR #386 CodeQL #865: by samuelburnham
4m 47s refs/pull/386/head
refs/pull/386/head
4m 47s
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 (#385) Extended CI tests #53: Commit 78038b9 pushed by samuelburnham
14m 23s main
main
14m 23s
chore: Update Lean to v4.29.0 (#385) Benchmark Ix compiler #85: Commit 78038b9 pushed by samuelburnham
8m 7s main
main
8m 7s
chore: Update Lean to v4.29.0 (#385) Nix CI #1142: Commit 78038b9 pushed by samuelburnham
4m 23s main
main
4m 23s
Push on main CodeQL #864: by samuelburnham
4m 13s main
main
4m 13s
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 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
PR #385 CodeQL #863: by samuelburnham
4m 58s refs/pull/385/head
refs/pull/385/head
4m 58s
chore(deps): bump the rust-dependencies group across 1 directory with 36 updates Benchmark pull requests #47: Issue comment #383 (comment) created by dependabot Bot
2s
2s
cargo in / for blake3, indexmap, rayon, tokio, getrandom, bincode, bitflags, cc, fastrand, hyper, hyper-rustls, icu_locale_core, icu_normalizer, icu_normalizer_data, icu_properties, icu_properties_data, icu_provider, libc, litemap, lru, potential_utf, rustls, semver, tinystr, tokio-macros, toml_datetime, toml_edit, toml_parser, writeable, yoke, yoke-derive, zerofrom, zerofrom-derive, zerotrie, zerovec, zerovec-derive - Update #1326399906 Dependabot Updates #241: by dependabot Bot
11m 22s main
main
11m 22s
chore: Update lean-ffi (#380) CI Jobs #1342: Commit ba06e44 pushed by samuelburnham
4m 38s main
main
4m 38s
chore: Update lean-ffi (#380) Benchmark Ix compiler #84: Commit ba06e44 pushed by samuelburnham
9m 8s main
main
9m 8s
chore: Update lean-ffi (#380) Extended CI tests #52: Commit ba06e44 pushed by samuelburnham
14m 37s main
main
14m 37s
chore: Update lean-ffi (#380) Nix CI #1140: Commit ba06e44 pushed by samuelburnham
4m 16s main
main
4m 16s
Push on main CodeQL #862: by samuelburnham
5m 4s main
main
5m 4s
chore: Update lean-ffi CI Jobs #1341: Pull request #380 synchronize by samuelburnham
5m 32s update-lean-ffi
update-lean-ffi
5m 32s
chore: Update lean-ffi Nix CI #1139: Pull request #380 synchronize by samuelburnham
3m 50s update-lean-ffi
update-lean-ffi
3m 50s
PR #380 CodeQL #861: by samuelburnham
5m 6s refs/pull/380/head
refs/pull/380/head
5m 6s
Fixed Kernel.lean debug mode (#384) Benchmark Ix compiler #83: Commit 1350590 pushed by gabriel-barrett
9m 30s main
main
9m 30s