Skip to content
CI

Implement new policy for VERIFY_CHECK and #ifdef VERIFY (issue #1381) #62

Sign in to view logs

Implement new policy for VERIFY_CHECK and #ifdef VERIFY (issue #1381)

Implement new policy for VERIFY_CHECK and #ifdef VERIFY (issue #1381) #62

Triggered via pull request August 18, 2023 12:39
@theStacktheStack
synchronize #1393
theStack:rework_verify_check-and-ifdef_verify
Status Cancelled
Total duration 3m 44s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
x64 (MSVC): C++ (public headers)
26s
x64 (MSVC): C++ (public headers)
SageMath prover
1m 0s
SageMath prover
Matrix: x86_64: macOS Ventura
Matrix: win64-native
Fit to window
Zoom out
Zoom in

Annotations

18 errors
x86 (MSVC): Windows (VS 2022)
Canceling since a higher priority waiting request for 'refs/pull/1393/merge' exists
x86 (MSVC): Windows (VS 2022)
The operation was canceled.
x64 (MSVC): Windows (VS 2022, int128_struct with __(u)mulh)
Canceling since a higher priority waiting request for 'refs/pull/1393/merge' exists
x64 (MSVC): Windows (VS 2022, int128_struct with __(u)mulh)
The operation was canceled.
x64 (MSVC): Windows (VS 2022, int128_struct)
Canceling since a higher priority waiting request for 'refs/pull/1393/merge' exists
x64 (MSVC): Windows (VS 2022, int128_struct)
The operation was canceled.
x64 (MSVC): Windows (VS 2022, shared)
Canceling since a higher priority waiting request for 'refs/pull/1393/merge' exists
x64 (MSVC): Windows (VS 2022, shared)
The operation was canceled.
x64 (MSVC): Windows (VS 2022, static)
Canceling since a higher priority waiting request for 'refs/pull/1393/merge' exists
x64 (MSVC): Windows (VS 2022, static)
The operation was canceled.
x86_64: macOS Ventura (int64, yes, yes, yes, yes)
Canceling since a higher priority waiting request for 'refs/pull/1393/merge' exists
x86_64: macOS Ventura (int64, yes, yes, yes, yes)
The operation was canceled.
x86_64: macOS Ventura (int64, yes, yes, yes, yes, gcc)
Canceling since a higher priority waiting request for 'refs/pull/1393/merge' exists
x86_64: macOS Ventura (int64, yes, yes, yes, yes, gcc)
The operation was canceled.
x86_64: macOS Ventura (distcheck)
Canceling since a higher priority waiting request for 'refs/pull/1393/merge' exists
x86_64: macOS Ventura (distcheck)
The operation was canceled.
x86_64: macOS Ventura (int128, yes, yes, yes, yes, gcc)
Canceling since a higher priority waiting request for 'refs/pull/1393/merge' exists
x86_64: macOS Ventura (int128, yes, yes, yes, yes, gcc)
The operation was canceled.