Update tools #72
ci.yml
on: push
Matrix: Tests
Coding Guidelines
9s
Type Checker
14s
Mutation Tests
18s