Adapt to https://github.com/rocq-prover/rocq/pull/17876#41
Merged
Annotations
1 error
|
This is a scheduled Ubuntu 20.04 retirement. Ubuntu 20.04 LTS runner will be removed on 2025-04-15. For more details, see https://github.com/actions/runner-images/issues/11101
|
The logs for this run have expired and are no longer available.
Loading