Kani Format Check

Update our CI to run on MacOS 12 instead of 11 #5395

Sign in to view logs

Triggered via pull request October 24, 2023 21:58

celinval

synchronize #2828

celinval:issue-2827-monterey

Status Success

Total duration 4m 35s

Artifacts –

format-check.yml

on: pull_request