clippy: Enable doc_markdown lint.
#412
waywardmonkeysrust.yml
on: push
check-formatting
6s
build
1m 22s
build_on_wasm
34m 46s
run_clippy
15m 43s
Matrix: build_z3_statically