Skip to content

Address Prashanth's feedback #63

Address Prashanth's feedback

Address Prashanth's feedback #63

Triggered via push December 18, 2025 09:05
Status Failure
Total duration 8m 23s
Artifacts

rocq.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build
The process '/usr/bin/git' failed with exit code 128
build
unable to access 'https://github.com/nadime15/sail-riscv/': Failed to connect to github.com port 443 after 133534 ms: Couldn't connect to server
build
unable to access 'https://github.com/nadime15/sail-riscv/': Failed to connect to github.com port 443 after 132441 ms: Couldn't connect to server
build
unable to access 'https://github.com/nadime15/sail-riscv/': Failed to connect to github.com port 443 after 133638 ms: Couldn't connect to server