pages build and deployment #483

Sign in to view logs

Triggered via dynamic February 10, 2025 03:12

thofma

gh-pages

Status Failure

Total duration 12m 38s

Artifacts –

pages-build-deployment

on: dynamic

report-build-status

Annotations

4 errors

The process '/usr/bin/git' failed with exit code 128

unable to access 'https://github.com/oscar-system/Singular.jl/': Failed to connect to github.com port 443 after 136442 ms: Couldn't connect to server

unable to access 'https://github.com/oscar-system/Singular.jl/': Failed to connect to github.com port 443 after 135535 ms: Couldn't connect to server

unable to access 'https://github.com/oscar-system/Singular.jl/': Failed to connect to github.com port 443 after 134629 ms: Couldn't connect to server