Merge rust-bitcoin/rust-bitcoin#2700: Fix kani test #3

Sign in to view logs

Triggered via push April 20, 2024 11:14

22388o

master

Status Success

Total duration 22s

Artifacts –

release.yml

on: push

Release - dry-run