Skip to content
Back to pull request #3054

Add option to override --crate-name from kani #6073

Sign in to view logs

Add option to override --crate-name from kani

Add option to override --crate-name from kani #6073

Triggered via pull request March 8, 2024 21:14
@adpaco-awsadpaco-aws
synchronize #3054
adpaco-aws:feat-crate-name
Status Success
Total duration 1m 57s
Artifacts –

format-check.yml

on: pull_request
format-check
4s
format-check
clippy-check
1m 50s
clippy-check
Fit to window
Zoom out
Zoom in