Skip to content

Rename docker images from uid2-* to uid-* #704

Rename docker images from uid2-* to uid-*

Rename docker images from uid2-* to uid-* #704

Triggered via pull request December 16, 2025 17:48
Status Success
Total duration 28s
Artifacts

build-and-test.yaml

on: pull_request
Fit to window
Zoom out
Zoom in