Main workflow

Dune: use data_only_dirs instead of deprecated ignored_subdirs #716

Sign in to view logs

Triggered via push December 8, 2023 17:10

balat

templates

Status Success

Total duration 2h 59m 27s

Artifacts –

workflow.yml

on: push

Matrix: build