Github Actions Besides automated tests and typechecker, consider adding the following GitHub actions: CodeQL Stale Dependabot Documentation for GitHub Actions