Skip to content
CI

chore(deps): bump taiki-e/install-action from 2.85.5 to 2.85.10 #1683

Sign in to view logs

chore(deps): bump taiki-e/install-action from 2.85.5 to 2.85.10

chore(deps): bump taiki-e/install-action from 2.85.5 to 2.85.10 #1683

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Clippy
1m 7s
Rivet Validation
15s
Claim Check
8s
Version Pin Sweep
7s
Test
5m 25s
Format
47s
Z3 Verification
1m 53s
i64 rotl/rotr/div/rem expansion oracle
1m 13s
rv32 memory.size / memory.grow execution oracle
1m 4s
multi-table call_indirect oracle (Thumb-2 + A32)
59s
self-contained call_indirect oracle (execution + residual declines)
59s
heterogeneous-table call_indirect oracle (Thumb-2 + A32)
1m 12s
const-CSE flag-on execution oracle
1m 12s
frame-slot DCE default+optout execution oracle
1m 6s
VCR-RA-003 RV32 register-allocation validator (red-first + frozen)
1m 29s
optimized-path callee-saved preservation oracle
1m 7s
proven-safe bounds-elision oracle (VCR-MEM-004,
2m 1s
aarch64 backend execution + decline oracle (#538 m2–m4)
1m 27s
VCR-RA-003 register-allocation validator (red-first + frozen)
1m 24s
rv32 external-call relocation oracle (#871)
1m 20s
rv32 immediate-shift-fold execution oracle
1m 2s
control-step relocatable-path execution oracle
1m 10s
synth-provenance-v1 reconciliation gate (#396)
1m 14s
optimized-path register-exhaustion oracle
59s
fact-spec elision oracle (#494 phases 2 + 2b + 3+ + bounds)
1m 45s
Bazel Build & Proofs
2m 41s
rv32 label/return dead-code oracle (#882)
1m 11s
call_indirect bounds-guard oracle (Thumb-2 + A32)
1m 8s
trap-semantics oracle (#665 unreachable +
9m 56s
flight-seam relocatable-path execution oracle
1m 10s
aarch64 native execution matrix (gale
1m 43s
optimized-path block/br_if lowering oracle
1m 6s
Kani Verification
1m 0s
optimized-path br_table oracle
1m 12s
rv32 const-address-fold execution oracle
1m 8s
optimized-path spill-frame teardown oracle
1m 0s
VCR-VER-004 instrument independence (#242, v0.53's mutation re-run)
1m 42s
rv32 br_table execution oracle (#882)
1m 5s
cmp-select two-move execution oracle
1m 4s
null-funcref-slot call_indirect oracle (Thumb-2 + A32)
1m 3s
repro sweep — RISC-V RV32 execution differentials
1m 14s
repro sweep — selector / control-flow / call / i64 differentials
1m 42s
stack-layout=low overflow BusFault oracle
59s
repro sweep — linear memory / static data / native-pointer differentials
1m 27s
i64 stack-param + spill-pool-grow oracle
1m 13s
VCR-SEL-005 cross-backend op-parity (universe-complete + red-first)
41s
AAPCS stack-argument path oracle
1m 9s
#418 arena-bind self-contained execution oracle
1m 5s
repro sweep — WCET bound soundness cross-checks (phases 2-5)
1m 10s
Rust-test Line Coverage (unit + integration only)
3m 37s
1h 14m 51s