Move TLA+ from ADO to GHA #123
maxtropetsci.yml
on: pull_request
Format and License Checks
47s
Matrix: CI
Annotations
1 error
|
Format and License Checks
Process completed with exit code 1.
|