search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

Add Github Actions build #26

Closed gliptak closed 3 years ago

gliptak commented 3 years ago

Signed-off-by: Gábor Lipták gliptak@gmail.com

https://github.com/gliptak/Examples/runs/1547906523?check_suite_focus=true

I will update with directory walk in followup PR

lemmy commented 3 years ago

https://github.com/lemmy/BlockingQueue/blob/master/.github/workflows/main.yml might help with this.