Skip to content
CI build

Fix JS #337

Sign in to view logs

Fix JS

Fix JS #337

Triggered via push September 27, 2024 09:29
@AilrunAilrun
pushed abc145b
main
Status Success
Total duration 7m 30s
Artifacts –

ci_build.yaml

on: push
Completeness of _CoqProject
4m 57s
Completeness of _CoqProject
Continuous Intergration
7m 18s
Continuous Intergration
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Completeness of _CoqProject
unable to access 'https://github.com/Beluga-lang/McLTT/': Failed to connect to github.com port 443 after 134089 ms: Connection timed out
Completeness of _CoqProject
unable to access 'https://github.com/Beluga-lang/McLTT/': Failed to connect to github.com port 443 after 133440 ms: Connection timed out