Skip to content
Kani Extra

Include --check-cfg=cfg(kani) in the rust flags to avoid a warning about an unknown cfg. #777

Sign in to view logs

Include --check-cfg=cfg(kani) in the rust flags to avoid a warning about an unknown cfg.

Include --check-cfg=cfg(kani) in the rust flags to avoid a warning about an unknown cfg. #777

Triggered via pull request May 16, 2024 00:00
@zhassan-awszhassan-aws
opened #3187
Status Success
Total duration 16s
Artifacts –

extra_jobs.yml

on: pull_request_target
Auto Label
4s
Auto Label
Verification Benchmarks  /  perf-benchcomp
Verification Benchmarks / perf-benchcomp
Fit to window
Zoom out
Zoom in