Skip to content
Ensure formatting

fix(F*): always use Type0, never Type #2170

Sign in to view logs

fix(F*): always use Type0, never Type

fix(F*): always use Type0, never Type #2170

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ocamlformat
35s
rustfmt
44s
1m 19s