Skip to content
Cargo Audit

Support for disabling automatically generated pointer checks to avoid reinstrumentation #5857

Sign in to view logs

Support for disabling automatically generated pointer checks to avoid reinstrumentation

Support for disabling automatically generated pointer checks to avoid reinstrumentation #5857

Triggered via pull request July 15, 2024 16:50
@artemagvanianartemagvanian
opened #3344
artemagvanian:kani-pragmas
Status Success
Total duration 58s
Artifacts –

audit.yml

on: pull_request
audit
51s
audit
Fit to window
Zoom out
Zoom in