Skip to content
Build

Update dependencies #670

Sign in to view logs

Update dependencies

Update dependencies #670

Triggered via pull request January 16, 2025 16:37
@4ever24ever2
synchronize #243
4ever2:metacoq-1.3
Status Failure
Total duration 36m 59s
Artifacts –

build.yml

on: pull_request
build
36m 50s
build
test
0s
test
deploy-docs
0s
deploy-docs
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 2.