Back to pull request #1035

Update to dune 2 #889

Sign in to view logs

Triggered via pull request October 28, 2024 15:59

synchronize #1035

shonfeder:1034/dune-2

Status Success

Total duration 9m 39s

Artifacts –

workflow.yml

on: pull_request

Matrix: build-and-test