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

Triggered via push November 15, 2024 19:02
@github-merge-queuegithub-merge-queue[bot]
pushed 9c2318b
main
Status Success
Total duration 3m 21s
Artifacts –

format-check.yml

on: push
format-check
8s
format-check
clippy-check
3m 7s
clippy-check
Fit to window
Zoom out
Zoom in