Skip to content
Run lint

Fix a parallel bug in the domain extents used in the domain metadata #72

Sign in to view logs

Fix a parallel bug in the domain extents used in the domain metadata

Fix a parallel bug in the domain extents used in the domain metadata #72

Triggered via pull request August 8, 2023 11:06
@tommbendalltommbendall
synchronize #411
parallel_domain_extent_fix
Status Success
Total duration 20s
Artifacts –

lint.yml

on: pull_request
Run linter
13s
Run linter
Lint Github actions YAML files
5s
Lint Github actions YAML files
Fit to window
Zoom out
Zoom in