Skip to content
Back to pull request #1016

Hints for uniquing unsoundness reports #1061

Sign in to view logs

Hints for uniquing unsoundness reports

Hints for uniquing unsoundness reports #1061

Triggered via pull request March 18, 2024 09:06
@nunoplopesnunoplopes
synchronize #1016
FlashSheridan:FlashSheridan-CPR-1489-jdupes
Status Failure
Total duration 45m 4s
Artifacts –

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
ubuntu-22.04 g++-13 Debug Redis
The hosted runner: GitHub Actions 4 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
ubuntu-22.04 g++-13 Debug
The hosted runner: GitHub Actions 3 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
ubuntu-22.04 g++-13 Release Redis
The hosted runner: GitHub Actions 9 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.
ubuntu-22.04 g++-13 Release
The hosted runner: GitHub Actions 13 lost communication with the server. Anything in your workflow that terminates the runner process, starves it for CPU/Memory, or blocks its network access can cause this error.