Skip to content
CI

Add Subscription handle class #243

Sign in to view logs

Add Subscription handle class

Add Subscription handle class #243

Triggered via pull request October 16, 2025 21:09
@cookpatecookpate
synchronize #70
cookpate:cpp_subscription_handle
Status Cancelled
Total duration 1m 5s
Artifacts –

ci.yml

on: pull_request
Matrix: run-checks
Fit to window
Zoom out
Zoom in

Annotations

29 errors
Check build with GCC
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check build with GCC
The operation was canceled.
Check cmake-lint
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check cmake-lint
The operation was canceled.
Check build with Clang
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check build with Clang
The operation was canceled.
Check build shared lib
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check build shared lib
The operation was canceled.
Check editorconfig
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check editorconfig
The operation was canceled.
Check cbmc-contracts
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check cbmc-contracts
The operation was canceled.
Check header includes
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check header includes
The operation was canceled.
Check clang-tidy
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check clang-tidy
The operation was canceled.
Check cross-build armv7l static
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check cross-build armv7l static
The operation was canceled.
Check cross-build aarch64 static
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check cross-build aarch64 static
The operation was canceled.
Check spelling
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check spelling
The operation was canceled.
Check formatting
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check formatting
The operation was canceled.
Check build static
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check build static
The operation was canceled.
Check namespacing
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists
Check namespacing
The operation was canceled.
CI
Canceling since a higher priority waiting request for CI-cpp_subscription_handle exists