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

Triggered via pull request August 10, 2026 21:45
@dependabotdependabot[bot]
opened #940
dependabot/github_actions/taiki-e/install-action-2.85.10
Status Success
Total duration 22m 45s
Artifacts –

ci.yml

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

Annotations

2 warnings
aarch64 native execution matrix (gale
The following taps are not trusted: aws/tap Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required. Untap them with: brew untap aws/tap Trust specific formulae, casks and commands with: brew trust --formula <user>/<tap>/<formula> brew trust --cask <user>/<tap>/<cask> brew trust --command <user>/<tap>/<command> Whole-tap trust is broader and includes all current and future formulae, casks and commands from the listed taps. Trust whole taps with: brew trust aws/tap To disable trust checks: export HOMEBREW_NO_REQUIRE_TAP_TRUST=1 This is not recommended and will be removed in a later release. For more information, see: https://docs.brew.sh/Tap-Trust
Rivet Validation
Cross-repo link errors present (expected — external projects need rivet init)