search

Apress / practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne
Other
287 stars 67 forks source link

Add Github Actions build #15

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/practical-tla-plus/runs/1547827579?check_suite_focus=true

Commented directories might need to be corrected/fine-tuned

hwayne commented 3 years ago

I'm sorry, could you explain what this is for?

gliptak commented 3 years ago

This targets to syntax validate TLA files in master and pull requests in this repo. PRs get a green checkmark when successful

https://github.com/gliptak/practical-tla-plus/pulls

hwayne commented 3 years ago

This isn't validating the tla files. It's calling the proof manager. Also, most of the files fail by default due to TLA+'s naming scheme.