CI: split workflow and use bot to commit formatting and cargo lock ch… #1
CI-push.yml
on: push
Check formatting
11s
Run tests on stable toolchain
1m 15s
Spell check
5s