Rename collector and timing files; update README for TimingCollector … #3
sergiodxaci.yml
on: push
Build
7s
Typechecker
6s
Code Quality
5s
Tests
9s
Verify Exports
8s