chore(build): Remove unnecessary empty line after document (#1181) #774
github-merge-queue[bot]ci.yml
on: push
Matrix: test
rustfmt
14s
toml_validation
6s
clippy
4m 52s
docs
4m 40s
machete
12s
unused_dependencies
9m 15s
msrv
17s
minimal-versions
30s
kani
42s
no-std
29s
Check README
3s
all systems go
0s