Skip to content

formal

formal #1020

Triggered via schedule October 4, 2024 01:16
Status Failure
Total duration 27m 41s
Artifacts

formal.yml

on: schedule
Matrix: jobs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
amd64/debian/bullseye | formal/min formal formal/all
unable to access 'https://github.com/hdl/containers/': Failed to connect to github.com port 443 after 133457 ms: Connection timed out
amd64/debian/bullseye | formal/min formal formal/all
unable to access 'https://github.com/hdl/containers/': Failed to connect to github.com port 443 after 134534 ms: Connection timed out