Kani Format Check

Fix issues with how we compute DST size #8833

Sign in to view logs

Triggered via pull request November 12, 2024 21:03

celinval

synchronize #3687

celinval:issue-3612-can-deref-2

Status Failure

Total duration 2m 52s

Artifacts –

format-check.yml

on: pull_request

Annotations

1 error

clippy-check

Process completed with exit code 101.