Skip to content
CI

Debug with an ssh connection #723

Sign in to view logs

Debug with an ssh connection

Debug with an ssh connection #723

Triggered via push February 16, 2025 19:15
@makaimannmakaimann
pushed e9d7f46
setuptools
Status Failure
Total duration 6h 0m 12s
Artifacts –

ci.yml

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

Annotations

23 errors
ubuntu-latest:msat
The job running on runner GitHub Actions 26 has exceeded the maximum execution time of 360 minutes.
ubuntu-latest:msat
The operation was canceled.
ubuntu-latest:cvc5
The job running on runner GitHub Actions 56 has exceeded the maximum execution time of 360 minutes.
ubuntu-latest:cvc5
The operation was canceled.
ubuntu-latest:z3
The job running on runner GitHub Actions 11 has exceeded the maximum execution time of 360 minutes.
ubuntu-latest:z3
The operation was canceled.
ubuntu-latest:bitwuzla
The job running on runner GitHub Actions 40 has exceeded the maximum execution time of 360 minutes.
ubuntu-latest:bitwuzla
The operation was canceled.
macos-latest:bitwuzla
The job running on runner GitHub Actions 34 has exceeded the maximum execution time of 360 minutes.
macos-latest:bitwuzla
The operation was canceled.
macos-latest:z3
The job was canceled because "ubuntu-latest_msat" failed.
macos-latest:msat
The job running on runner GitHub Actions 19 has exceeded the maximum execution time of 360 minutes.
macos-latest:msat
The operation was canceled.
ubuntu-latest:yices2
The job running on runner GitHub Actions 53 has exceeded the maximum execution time of 360 minutes.
ubuntu-latest:yices2
The operation was canceled.
macos-latest:cvc5
The job running on runner GitHub Actions 16 has exceeded the maximum execution time of 360 minutes.
macos-latest:cvc5
The operation was canceled.
ubuntu-latest:btor
The job running on runner GitHub Actions 44 has exceeded the maximum execution time of 360 minutes.
ubuntu-latest:btor
The operation was canceled.
macos-latest:yices2
The job running on runner GitHub Actions 25 has exceeded the maximum execution time of 360 minutes.
macos-latest:yices2
The operation was canceled.
macos-latest:btor
The job running on runner GitHub Actions 29 has exceeded the maximum execution time of 360 minutes.
macos-latest:btor
The operation was canceled.