Skip to content

.github: merge ci.yaml and publish_docker.yaml #12

.github: merge ci.yaml and publish_docker.yaml

.github: merge ci.yaml and publish_docker.yaml #12

Triggered via push August 25, 2024 10:50
Status Success
Total duration 1m 38s
Artifacts

ci.yaml

on: push
make_check
50s
make_check
docker_build_and_publish
34s
docker_build_and_publish
Fit to window
Zoom out
Zoom in