Move dune-project
to the repo root
#1566
ci.yml
on: pull_request
check_if_skip_duplicate_job
4s
check-version-number
15s
aeneas
4m 34s
kyber
10m 45s
Annotations
1 error and 1 warning
check-version-number
Process completed with exit code 1.
|
check-version-number
This job failure may be caused by using an out of date self-hosted runner. You are currently using runner version 2.319.1. Please update to the latest version 2.320.0
|