Skip to content

Merge pull request #601 from RI-SE/feature_GREM-support #20

Merge pull request #601 from RI-SE/feature_GREM-support

Merge pull request #601 from RI-SE/feature_GREM-support #20

Triggered via push October 11, 2023 06:59
Status Success
Total duration 10m 28s
Artifacts

build.yaml

on: push
build_dockerImage
10m 16s
build_dockerImage
Fit to window
Zoom out
Zoom in