.gitignore: Remove redundant rules on result*, target #83
docs.yml
on: push
Deduce required tests from code changes
3s
Build and deploy documentation
0s