Skip to content

Use a unique name for the Docker image used by CI.#3427

Merged
bors merged 1 commit intorust-lang:mainfrom Arnavion:unique-docker-image-nameNov 9, 2023
+4-4

Commits

Commits on Nov 8, 2023