Move TLA+ from ADO to GHA #185
maxtropetsci.yml
on: pull_request
Format and License Checks
1m 43s
Matrix: CI
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
logs-sgx
Expired
|
1.27 MB |
|
|
logs-virtual
Expired
|
1.28 MB |
|