Skip to content

Merge branch 'master' into CircleCI_workflows_to_GitHub #12

Merge branch 'master' into CircleCI_workflows_to_GitHub

Merge branch 'master' into CircleCI_workflows_to_GitHub #12

Triggered via push October 3, 2023 14:28
Status Success
Total duration 42s
Artifacts 1

build.yml

on: push
docker_build
31s
docker_build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
docker_build
Unexpected input(s) 'destination', 'no_output_timeout', valid inputs are ['name', 'path', 'if-no-files-found', 'retention-days']

Artifacts

Produced during runtime
Name Size
artifacts Expired
98 Bytes