Merge remote-tracking branch 'github/feature/variable-rhs-sts-new-con… #10397

Triggered via push January 2, 2025 10:04

flomnes

Status Success

Total duration 28m 17s

Artifacts 2

ubuntu.yml

on: push

1 warning

Cache save failed.

Produced during runtime

Name	Size
deb	45.6 MB
targz	59.7 MB