CI build

CI build #247

Sign in to view logs

Manually triggered September 10, 2024 21:27

HuStmpHrrr

main

Status Failure

Total duration 6m 37s

Artifacts –

ci_build.yaml

on: workflow_dispatch

Completeness of _CoqProject

Continuous Intergration

Annotations

1 error and 1 notice

Continuous Intergration

The deploy step encountered an error: The process '/usr/bin/git' failed with exit code 128 ❌

Continuous Intergration

Deployment failed! ❌