Main workflow

Dune improvements #705

Sign in to view logs

Triggered via pull request December 4, 2023 22:42

vouillon

synchronize #773

dune-update

Status Success

Total duration 2h 46m 43s

Artifacts –

workflow.yml

on: pull_request

Matrix: build