Skip to content
test

Add proof export to tikz #56

Sign in to view logs

Add proof export to tikz

Add proof export to tikz #56

Triggered via pull request November 13, 2023 21:37
@mark-kochmark-koch
synchronize #181
feat/tikz-proof
Status Success
Total duration 1m 6s
Artifacts –

test.yml

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