Skip to content
Cargo Audit

Merge branch 'modifies_fat' of github.com:pi314mm/kani into modifies_fat #15

Sign in to view logs

Merge branch 'modifies_fat' of github.com:pi314mm/kani into modifies_fat

Merge branch 'modifies_fat' of github.com:pi314mm/kani into modifies_fat #15

Triggered via push June 26, 2024 19:40
@pi314mmpi314mm
pushed 2e497f1
modifies_fat
Status Success
Total duration 1m 4s
Artifacts –

audit.yml

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