Skip to content

Experiments with the SAT sweeper. #181

Experiments with the SAT sweeper.

Experiments with the SAT sweeper. #181

Triggered via push September 5, 2023 04:13
Status Failure
Total duration 3m 0s
Artifacts

build-posix.yml

on: push
Matrix: build-posix
Fit to window
Zoom out
Zoom in

Annotations

7 errors and 16 warnings
build-posix (macos-latest, true)
Response status code does not indicate success: 503 (Service Unavailable).
build-posix (macos-latest, false)
The job was canceled because "macos-latest_true" failed.
build-posix (macos-latest, false)
Response status code does not indicate success: 503 (Service Unavailable).
build-posix (ubuntu-latest, true)
The job was canceled because "macos-latest_true" failed.
build-posix (ubuntu-latest, true)
Response status code does not indicate success: 503 (Service Unavailable).
build-posix (ubuntu-latest, false)
The job was canceled because "macos-latest_true" failed.
build-posix (ubuntu-latest, false)
Response status code does not indicate success: 503 (Service Unavailable).
build-posix (macos-latest, true)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/ee0669bd1cc54295c223e0bb666b733df41de1c5'. Error: Response status code does not indicate success: 503 (Service Unavailable).
build-posix (macos-latest, true)
Back off 13.648 seconds before retry.
build-posix (macos-latest, true)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/ee0669bd1cc54295c223e0bb666b733df41de1c5'. Error: Response status code does not indicate success: 503 (Service Unavailable).
build-posix (macos-latest, true)
Back off 14.611 seconds before retry.
build-posix (macos-latest, false)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/ee0669bd1cc54295c223e0bb666b733df41de1c5'. Error: Response status code does not indicate success: 503 (Service Unavailable).
build-posix (macos-latest, false)
Back off 16.083 seconds before retry.
build-posix (macos-latest, false)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/ee0669bd1cc54295c223e0bb666b733df41de1c5'. Error: Response status code does not indicate success: 503 (Service Unavailable).
build-posix (macos-latest, false)
Back off 19.064 seconds before retry.
build-posix (ubuntu-latest, true)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/ee0669bd1cc54295c223e0bb666b733df41de1c5'. Error: Response status code does not indicate success: 503 (Service Unavailable).
build-posix (ubuntu-latest, true)
Back off 21.049 seconds before retry.
build-posix (ubuntu-latest, true)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/ee0669bd1cc54295c223e0bb666b733df41de1c5'. Error: Response status code does not indicate success: 503 (Service Unavailable).
build-posix (ubuntu-latest, true)
Back off 22.274 seconds before retry.
build-posix (ubuntu-latest, false)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/ee0669bd1cc54295c223e0bb666b733df41de1c5'. Error: Response status code does not indicate success: 503 (Service Unavailable).
build-posix (ubuntu-latest, false)
Back off 23.525 seconds before retry.
build-posix (ubuntu-latest, false)
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/ee0669bd1cc54295c223e0bb666b733df41de1c5'. Error: Response status code does not indicate success: 503 (Service Unavailable).
build-posix (ubuntu-latest, false)
Back off 23.137 seconds before retry.