Skip to content
Kani Format Check

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

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 #8821

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

format-check.yml

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