Update to Dune 3.16, fix build of benchmarks, various fixes #49
This workflow is awaiting approval from a maintainer in #222
Triggered via pull request
September 12, 2024 09:48
MisterDA
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #222
test.yml
on: pull_request
Matrix: Earliest Supported Version
Waiting for pending jobs
Matrix: Tests
Waiting for pending jobs