Skip to content
.github/workflows/ci.yml

Do not activate the sanity (invariant) checks by default #86

Sign in to view logs

Do not activate the sanity (invariant) checks by default

Do not activate the sanity (invariant) checks by default #86

Triggered via push November 27, 2023 12:49
@sonmarchosonmarcho
pushed fdb8555
son_improves
Status Success
Total duration 8m 46s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
nix
3m 56s
nix
lean
8m 37s
lean
Fit to window
Zoom out
Zoom in