Skip to content
CI build

use string test instead (#187) #240

Sign in to view logs

use string test instead (#187)

use string test instead (#187) #240

Triggered via push September 10, 2024 19:13
@HuStmpHrrrHuStmpHrrr
pushed 5e586cc
main
Status Failure
Total duration 6m 56s
Artifacts –

ci_build.yaml

on: push
Completeness of _CoqProject
3s
Completeness of _CoqProject
Continuous Intergration
6m 46s
Continuous Intergration
Fit to window
Zoom out
Zoom in

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! ❌