Skip to content

Make repo optional and default to github name #200

Make repo optional and default to github name

Make repo optional and default to github name #200

Triggered via pull request August 18, 2023 17:41
@FirehedFirehed
synchronize #43
dynamic-repo
Status Success
Total duration 55s
Artifacts
Matrix: Build docker images
Automatic repository naming
21s
Automatic repository naming
Parallel via DOCKER_BUILDKIT
19s
Parallel via DOCKER_BUILDKIT
Build server image only
29s
Build server image only
Override context
14s
Override context
Override context and file
15s
Override context and file
Action should fail if docker build fails
8s
Action should fail if docker build fails
Action should fail if docker push fails
11s
Action should fail if docker push fails
Matrix: Parallel via setting
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 6 warnings
Action should fail if docker build fails
Docker build failed
Action should fail if docker push fails
Docker push failed
Action should fail if docker build fails
No base stages included - build process will have limited caching
Parallel via setting (true)
No base stages included - build process will have limited caching
Parallel via setting (false)
No base stages included - build process will have limited caching
Parallel via DOCKER_BUILDKIT
No base stages included - build process will have limited caching
test
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
test
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/