Skip to content
Cargo Audit

Create workflow Kani Extra for checks that run conditionally on label… #4125

Sign in to view logs

Create workflow Kani Extra for checks that run conditionally on label…

Create workflow Kani Extra for checks that run conditionally on label… #4125

Triggered via push October 26, 2023 22:57
@celinvalcelinval
pushed ecd8957
main
Status Success
Total duration 1m 20s
Artifacts –

audit.yml

on: push
audit
1m 9s
audit
Fit to window
Zoom out
Zoom in