Build

Update dependencies (Coq 8.18) #630

Sign in to view logs

Triggered via pull request December 29, 2023 17:02

4ever2

opened #238

4ever2:deps

Status Failure

Total duration 4m 24s

Artifacts –

build.yml

on: pull_request

Annotations

1 error

Process completed with exit code 20.