nix: Clean up microkit #420
push.yaml
on: push
Check licenses
14s
Check source
2m 51s
Run other tests
5m 57s
Build docs
1m 59s
Deploy docs
30s