Skip to content
Kani Format Check

Fix ICE due to mishandling of Aggregate rvalue for raw pointers to trait objects #8563

Sign in to view logs

Fix ICE due to mishandling of Aggregate rvalue for raw pointers to trait objects

Fix ICE due to mishandling of Aggregate rvalue for raw pointers to trait objects #8563

Triggered via pull request October 23, 2024 18:03
@carolynzechcarolynzech
synchronize #3636
carolynzech:issue-3631
Status Success
Total duration 2m 35s
Artifacts –

format-check.yml

on: pull_request
format-check
6s
format-check
clippy-check
2m 24s
clippy-check
Fit to window
Zoom out
Zoom in