Kani Format Check

Fix the computation of the number of bytes of a pointer offset #8374

Sign in to view logs

Triggered via pull request October 9, 2024 04:28

zhassan-aws

synchronize #3584

zhassan-aws:iss3582

Status Success

Total duration 2m 20s

Artifacts –

format-check.yml

on: pull_request