Skip to content
test

Add proof export to tikz #53

Sign in to view logs

Add proof export to tikz

Add proof export to tikz #53

Triggered via pull request November 13, 2023 19:58
@mark-kochmark-koch
opened #181
feat/tikz-proof
Status Success
Total duration 1m 9s
Artifacts –

test.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in