Continuous integration

Merge rust-bitcoin/rust-bitcoin#4188: ci: update Kani GitHub Actions … #2074

Sign in to view logs

Triggered via push March 5, 2025 20:25

tcharding

master

Status Success

Total duration 26m 40s

Artifacts –

rust.yml

on: push

Test 32-bit version

Cross test - stable toolchain

WASM - stable toolchain

Kani codegen - stable toolchain

Matrix: Docs - stable toolchain

Matrix: Test - MSRV toolchain

Matrix: Test - stable toolchain

Embedded - nightly toolchain

Matrix: ASAN - nightly toolchain

Matrix: Bench - nightly toolchain

Matrix: Docs - nightly toolchain

Matrix: Lint - nightly toolchain

Matrix: Test - nightly toolchain