description Add a TLA+ model to a Java project, so that TLC checks the invariants its core logic must keep (an order lifecycle, a saga, a circuit breaker, a lease, an idempotency key, a workflow) over ...

GitHub Actions makes it easy to automate all your software workflows, now with world-class CI/CD. Build, test, and deploy your code right from GitHub. Hosted runners for every major OS make it easy to ...