Skip to content
unit tests

only do PTODIS=PTO if PTODIS not defined in theorycard #1670

Sign in to view logs

only do PTODIS=PTO if PTODIS not defined in theorycard

only do PTODIS=PTO if PTODIS not defined in theorycard #1670

Triggered via push October 4, 2023 14:52
@RoyStegemanRoyStegeman
pushed c9ba28f
numerical_fonll
Status Success
Total duration 3m 42s
Artifacts –

unittests.yml

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