Skip to content
Build Test

DT synthesis: faster formulae creation, fix of various bugs #251

Sign in to view logs

DT synthesis: faster formulae creation, fix of various bugs

DT synthesis: faster formulae creation, fix of various bugs #251

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Deploy on branch (mdp) (${{ matrix.buildType.name }})
0s
Deploy on latest (Release)
1m 15s
1m 15s