Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix potential github action smells (#3770)
Hey! 🙂 I've made the following changes to your workflow: - Use cache parameter instead of cache option - Using the cache option from the setup/java is easier to configure and thus less prone to mistakes. Furthermore, it makes the workflow smaller and easier to read and understand. - Avoid jobs without timeouts - Jobs without a timeout can cause runners to be occupied when some process falls into an infinite loop or has multiple retries to perform a certain task, which will inevitably fail. Furthermore, it is also useful to be notified when a test-suite all of a sudden takes a lot longer than it used to, considering keeping tests fast is a good practice. (These changes are part of a research Study at TU Delft looking at GitHub Action Smells. [Find out more](https://ceddy4395.github.io/research/gha-smells.html))
- Loading branch information