Ubuntu_dev

Ubuntu_dev #783

Triggered via schedule November 12, 2024 01:36

main

Status Failure

Total duration 1h 10m 48s

Artifacts –

ubuntu_dev.yml

on: schedule

Matrix: Ubuntu

3 errors

unable to access 'https://github.com/coq/platform/': Failed to connect to github.com port 443 after 134304 ms: Connection timed out

unable to access 'https://github.com/coq/platform/': Failed to connect to github.com port 443 after 134440 ms: Connection timed out

Process completed with exit code 1.