REF: configuration files for GitHub Actions - Githubissues

tlaplus / tlapm

The TLA Proof Manager

https://proofs.tlapl.us/

BSD 2-Clause "Simplified" License

65 stars 20 forks source link

REF: configuration files for GitHub Actions #65

Closed johnyf closed 2 years ago

johnyf commented 2 years ago

stop CI testing on first failure
shift later the installation of dependencies for running tests
split into more steps the GitHub Action tasks
blankspace and comment changes