Kani Format Check

Define a struct-level `#[safety_constraint(...)]` attribute #7435

Sign in to view logs

Triggered via pull request July 31, 2024 15:26

adpaco-aws

synchronize #3270

adpaco-aws:attr-invariant

Status Success

Total duration 4m 55s

Artifacts –

format-check.yml

on: pull_request