Build

[8.20] Bump MetaCoq version #685

Sign in to view logs

Triggered via pull request January 29, 2025 18:43

4ever2

synchronize #260

4ever2:deps20

Status Cancelled

Total duration 11m 22s

Artifacts –

build.yml

on: pull_request

Annotations

2 errors

Canceling since a higher priority waiting request for 'Build-260' exists

The operation was canceled.