Unify pr/main workflows and use tlaplus/examples as integration tests #5
Annotations
2 warnings
Build & Test (macos-latest, 1)
darcs has been deprecated because it depends on GHC 8.10 to build!
|
Build & Test (macos-latest, 0)
darcs has been deprecated because it depends on GHC 8.10 to build!
|