Skip to content
lint

Better error message when attempting to import proof from TikZ. #169

Sign in to view logs

Better error message when attempting to import proof from TikZ.

Better error message when attempting to import proof from TikZ. #169

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint (3.9)
1m 18s
1m 18s