Skip to content
Ubuntu CI (push and/or release)

Merge branch 'develop' into feature/variable-rhs-sts-new-constraint #10276

Sign in to view logs

Merge branch 'develop' into feature/variable-rhs-sts-new-constraint

Merge branch 'develop' into feature/variable-rhs-sts-new-constraint #10276

Triggered via push December 20, 2024 11:57
@a-zakira-zakir
pushed c9c7711
feature/variable-rhs-sts-new-constraint
Status Failure
Total duration 9m 17s
Artifacts –

ubuntu.yml

on: push
Build
9m 10s
Build
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
Build
Process completed with exit code 8.
Build
Process completed with exit code 1.
Build
Cache save failed.