Skip to content
Cargo Deny

Adjust test patterns so as not to check for trivial properties #1

Sign in to view logs

Adjust test patterns so as not to check for trivial properties

Adjust test patterns so as not to check for trivial properties #1

Triggered via push August 27, 2024 07:54
@tautschnigtautschnig
pushed 8814d67
adjust-for-cbmc-changes
Status Success
Total duration 1m 7s
Artifacts –

deny.yml

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