Skip to content
Kani Format Check

Update our CI to run on MacOS 12 instead of 11 (#2828) #5397

Sign in to view logs

Update our CI to run on MacOS 12 instead of 11 (#2828)

Update our CI to run on MacOS 12 instead of 11 (#2828) #5397

Triggered via push October 25, 2023 00:26
@celinvalcelinval
pushed 05c98b3
main
Status Success
Total duration 4m 25s
Artifacts –

format-check.yml

on: push
format-check
16s
format-check
clippy-check
4m 15s
clippy-check
Fit to window
Zoom out
Zoom in