Skip to content
lint

Enable "File|Export to tikz" only if active panel is a proof. #146

Sign in to view logs

Enable "File|Export to tikz" only if active panel is a proof.

Enable "File|Export to tikz" only if active panel is a proof. #146

Run time

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