Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Run actionlint as a pre-merge check.
Not mandatory for now, at least while I fix existing lints.
- Loading branch information