Skip to content
Kani Format Check

Fix codegen for rvalue aggregate raw pointer to an adt with slice tai… #8884

Sign in to view logs

Fix codegen for rvalue aggregate raw pointer to an adt with slice tai…

Fix codegen for rvalue aggregate raw pointer to an adt with slice tai… #8884

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
3m 7s
format-check
8s
3m 15s