Skip to content

Update Rust to nightly-2026-08-30 #1004

Update Rust to nightly-2026-08-30

Update Rust to nightly-2026-08-30 #1004

Triggered via push August 30, 2026 02:44
Status Failure
Total duration 4m 44s
Artifacts

verify.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 2 warnings
Verify
The process '/usr/bin/git' failed with exit code 1
Verify
clone of 'https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev.git' into submodule path '/home/runner/work/ACE-RISCV/ACE-RISCV/verification/refinedrust' failed
Verify
unable to access 'https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev.git/': Failed to connect to gitlab.mpi-sws.org port 443 after 135154 ms: Couldn't connect to server
Verify
clone of 'https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev.git' into submodule path '/home/runner/work/ACE-RISCV/ACE-RISCV/verification/refinedrust' failed
Verify
unable to access 'https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev.git/': Failed to connect to gitlab.mpi-sws.org port 443 after 134159 ms: Couldn't connect to server
Verify
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Verify
No files were found with the provided path: full-build.log. No artifacts will be uploaded.