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

Triggered via push October 10, 2024 10:56
@randriurandriu
pushed 64b7693
master
Status Failure
Total duration 1m 31s
Artifacts –

buildtest.yml

on: push
Matrix: deploy-mdp
Matrix: deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
Deploy on latest (Release)
Process completed with exit code 1.