Fix clippy::doc_markdown warnings. #402
waywardmonkeysrust.yml
on: push
check-formatting
8s
build
1m 42s
build_on_wasm
37m 43s
run_clippy
15m 30s
Matrix: build_z3_statically