Skip to content

Make a private nonstd.h header, and remove some inline definitions #44

Make a private nonstd.h header, and remove some inline definitions

Make a private nonstd.h header, and remove some inline definitions #44

Triggered via pull request July 11, 2024 09:57
Status Cancelled
Total duration 2m 26s
Artifacts

ci.yml

on: pull_request
Format and License Checks
1m 39s
Format and License Checks
Matrix: CI
Fit to window
Zoom out
Zoom in

Annotations

5 errors
CI (sgx, sgx, self-hosted, 1ES.Pool=gha-sgx-ccf-sub, --user root --publish-all --cap-add NET_ADMI...
Canceling since a higher priority waiting request for 'CI-refs/pull/6352/merge' exists
CI (virtual, default, self-hosted, 1ES.Pool=gha-virtual-ccf-sub, --user root --publish-all --cap-...
Canceling since a higher priority waiting request for 'CI-refs/pull/6352/merge' exists
CI (snp, default, self-hosted, 1ES.Pool=gha-virtual-ccf-sub, --user root --publish-all --cap-add ...
Canceling since a higher priority waiting request for 'CI-refs/pull/6352/merge' exists