Add a multi-crate test for #3061 (#3076) #128

Sign in to view logs

Summary
Jobs
- regression
Run details
- Usage
- Workflow file

Triggered via push March 14, 2024 01:01

zhassan-aws

main

Status Success

Total duration 11m 58s

Billable time 12m

Artifacts –

kani-m1.yml

on: push