Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
shellcheck: add a github shellcheck workflow
We want to ensure the script remains clean over time and evolutions. Shellcheck is a tool that point out many possible mistakes in shell scripts to avoid bugs. Create a github workflow to analyse the script each time a commit is pushed.
- Loading branch information