Skip to content
Builds, tests & co

Update to Dune 3.16, fix build of benchmarks, various fixes #50

Sign in to view logs

Update to Dune 3.16, fix build of benchmarks, various fixes

Update to Dune 3.16, fix build of benchmarks, various fixes #50

This workflow is awaiting approval from a maintainer in #222
Triggered via pull request September 12, 2024 09:52
@MisterDAMisterDA
synchronize #222
MisterDA:updates
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #222

test.yml

on: pull_request
Matrix: build
Waiting for pending jobs
Fit to window
Zoom out
Zoom in