Main workflow

Dune: use data_only_dirs instead of deprecated ignored_subdirs #719

Sign in to view logs

Triggered via pull request December 8, 2023 17:14

balat

opened #777

templates

Status Success

Total duration 3h 39m 7s

Artifacts –

workflow.yml

on: pull_request

Matrix: build