Kani Format Check

Instrument validity checks for pointer to reference casts for slices … #518

Sign in to view logs

Triggered via push September 11, 2024 23:02

zhassan-aws

iss-3498

Status Success

Total duration 3m 17s

Artifacts –

format-check.yml

on: push