github-actions

Dec 20, 2021

dca22f0 · Dec 20, 2021

Name	Name	Last commit message	Last commit date
parent directory ..
README.md	README.md	Add documentation about github-actions	Dec 20, 2021
codeql.md	codeql.md	Add documentation about github-actions	Dec 20, 2021
dependabot.md	dependabot.md	chore: update legacy URLs and usernames	Dec 20, 2021
stale.md	stale.md	Add documentation about github-actions	Dec 20, 2021

README.md

Besides automated tests and typechecker, consider adding the following GitHub actions: