Move TLA+ from ADO to GHA #190
achamayouci.yml
on: pull_request
Format and License Checks
1m 38s
Matrix: CI
Annotations
4 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/6369/merge' exists
|
|
CI (sgx, sgx, self-hosted, 1ES.Pool=gha-sgx-ccf-sub, --user root --publish-all --cap-add NET_ADMI...
The operation was canceled.
|
|
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/6369/merge' exists
|
|
CI (virtual, default, self-hosted, 1ES.Pool=gha-virtual-ccf-sub, --user root --publish-all --cap-...
The operation was canceled.
|