Skip to content
Cargo Audit

Fix unit tests and apply changes to kani_core #897

Sign in to view logs

Fix unit tests and apply changes to kani_core

Fix unit tests and apply changes to kani_core #897

Triggered via push July 29, 2024 20:55
@celinvalcelinval
pushed 5922fdb
issue-3383-contract-playback
Status Success
Total duration 1m 5s
Artifacts –

audit.yml

on: push
audit
56s
audit
Fit to window
Zoom out
Zoom in