Config: Remove use of `NO_DEFAULT` for `Option.default` #151

Triggered via pull request October 11, 2023 21:13

sphuber

synchronize #6145

Status Success

Total duration 15m 53s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

docker.yml

on: pull_request

Matrix: amd64-push-dockerhub / tag-push

Waiting for pending jobs

Matrix: amd64-push-ghcr / tag-push

Waiting for pending jobs

Matrix: arm64-push-dockerhub / tag-push

Waiting for pending jobs

Matrix: arm64-push-ghcr / tag-push

Waiting for pending jobs

Matrix: merge-tags-dockerhub / merge-tags

Waiting for pending jobs

Matrix: merge-tags-ghcr / merge-tags

Waiting for pending jobs

Produced during runtime

Name	Size
aiida-core-base-amd64 Expired	1.03 GB
aiida-core-with-services-amd64 Expired	1.56 GB