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

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

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 #10375

Triggered via push December 31, 2024 10:17
@payetvinpayetvin
pushed dc7488a
feature/variable-rhs-sts-new-constraint
Status Success
Total duration 12m 59s
Artifacts 2

ubuntu.yml

on: push
Build
12m 50s
Build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
deb
45.7 MB
targz
59.9 MB