Skip to content

Move CI management from lampepfl/dotty-ci #1

Move CI management from lampepfl/dotty-ci

Move CI management from lampepfl/dotty-ci #1

Triggered via pull request February 15, 2024 11:27
Status Success
Total duration 1m 15s
Artifacts

dotty-ci-container.yaml

on: pull_request
build_and_deploy
1m 4s
build_and_deploy
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build_and_deploy
No Docker image version has been generated. Check tags input.
build_and_deploy
No Docker tag has been generated. Check tags input.