Move TLA+ from ADO to GHA #142
ci.yml
on: pull_request
Format and License Checks
1m 38s
Matrix: CI
Annotations
3 errors
CI (virtual, default, self-hosted, 1ES.Pool=gha-virtual-ccf-sub, --user root --publish-all --cap-...
Process completed with exit code 8.
|
CI (sgx, sgx, self-hosted, 1ES.Pool=gha-sgx-ccf-sub, --user root --publish-all --cap-add NET_ADMI...
The job was canceled because "virtual_default_self-host" failed.
|
CI (sgx, sgx, self-hosted, 1ES.Pool=gha-sgx-ccf-sub, --user root --publish-all --cap-add NET_ADMI...
The operation was canceled.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
logs-virtual
Expired
|
1.19 MB |
|