Skip to content
Documentation

[bitv] slightly better printing of terms and simple terms #1178

Sign in to view logs

[bitv] slightly better printing of terms and simple terms

[bitv] slightly better printing of terms and simple terms #1178

Run time

Learn about OS pricing on GitHub Actions
Job Run time
OCaml documentation
10m 48s
Sphinx documentation
34s
Deploy documentation
0s
11m 22s