Cleanup dune stuff #4646
Triggered via pull request
December 10, 2024 17:45
smorimoto
Status
Success
Total duration
10m 59s
Artifacts
–
build-and-test.yml
on: pull_request
Coverage
4m 28s
Matrix: Build and Test
Annotations
2 warnings
|
Coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build and Test (ubuntu-latest, 5.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|