Skip to content

Unify pr/main workflows and use tlaplus/examples as integration tests#96

Merged
kape1395 merged 1 commit intotlaplus:mainfrom ahelwer:examples-ciApr 21, 2024

Commits

Commits on Apr 21, 2024