Builds, tests & co

Merge pull request #1035 from shonfeder/1034/dune-2 #891

Sign in to view logs

Triggered via push October 29, 2024 10:48

master

Status Success

Total duration 9m 45s

Artifacts –

workflow.yml

on: push

Matrix: build-and-test