Skip to content
Back to pull request #727

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

Sign in to view logs

[bitv] slightly better printing of terms and simple terms

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check indentation (1.8.1)
6m 21s
Check style
6m 16s
12m 37s