Skip to content

ci, gha: Add "x86_64: Linux (Debian stable)" GitHub Actions job #67

ci, gha: Add "x86_64: Linux (Debian stable)" GitHub Actions job

ci, gha: Add "x86_64: Linux (Debian stable)" GitHub Actions job #67

Triggered via pull request August 18, 2023 15:34
Status Success
Total duration 29m 39s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Build Docker image
14s
Build Docker image
x64 (MSVC): C++ (public headers)
28s
x64 (MSVC): C++ (public headers)
SageMath prover
55s
SageMath prover
Matrix: x86_64: macOS Ventura
Matrix: win64-native
Matrix: x86_64: Linux (Debian stable)
Matrix: mingw_debian
Fit to window
Zoom out
Zoom in

Annotations

1 error
x86_64: Linux (Debian stable) (int128_struct, yes, clang)
buildx failed with: ERROR: failed to solve: failed to copy: read tcp 10.1.0.28:47264->52.239.170.164:443: read: connection timed out