Skip to content
Kani Format Check

Fix codegen for rvalue aggregate raw pointer to an adt with slice tail #8812

Sign in to view logs

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

Fix codegen for rvalue aggregate raw pointer to an adt with slice tail #8812

Triggered via pull request November 11, 2024 21:07
@carolynzechcarolynzech
synchronize #3644
carolynzech:issue-3615
Status Success
Total duration 3m 48s
Artifacts –

format-check.yml

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