Skip to content

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

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

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

Triggered via pull request August 18, 2023 15:02
Status Cancelled
Total duration 30m 2s
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
15s
Build Docker image
x64 (MSVC): C++ (public headers)
39s
x64 (MSVC): C++ (public headers)
SageMath prover
57s
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 warning
x86_64: macOS Ventura (int128, yes, yes)
Received request to deprovision: The request was cancelled by the remote provider.