Skip to content
Build Test

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

Sign in to view logs

DT synthesis: faster formulae creation, fix of various bugs

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

Run time

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