Skip to content

github/workflows: use merge_group instead of push events. #2286

github/workflows: use merge_group instead of push events.

github/workflows: use merge_group instead of push events. #2286

Triggered via pull request December 10, 2024 17:20
Status Success
Total duration 5m 49s
Artifacts 4

docker.yml

on: pull_request
Matrix: ubuntu
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
docker (Ubuntu 24.04)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker (Ubuntu 18.04)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker (Ubuntu 22.04)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
docker (Ubuntu 20.04)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size
Homebrew~brew~3HJMDJ.dockerbuild
37.9 KB
Homebrew~brew~8ZWKK4.dockerbuild
36.6 KB
Homebrew~brew~GZZC5B.dockerbuild
37.7 KB
Homebrew~brew~VZD9MF.dockerbuild
37.6 KB