Update tools #73
ci.yml
on: push
Matrix: Tests
Coding Guidelines
9s
Type Checker
12s
Mutation Tests
20s