Skip to content

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

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

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

Triggered via pull request November 8, 2023 23:28
Status Success
Total duration 5m 29s
Artifacts

main.yml

on: pull_request
Style check
14s
Style check
Matrix: Docker Linux Tier1
Matrix: macOS
Matrix: Windows
Fit to window
Zoom out
Zoom in