Skip to content

pull_request_template.md

Latest commit

 

History

History
29 lines (20 loc) · 920 Bytes

pull_request_template.md

File metadata and controls

29 lines (20 loc) · 920 Bytes
Raw

What this changes

Why

Evidence

Checklist

  • ./scripts/bootstrap.sh and cmake --build build -j succeed with HBFSIM_ENABLE_CUDA=OFF HBFSIM_ENABLE_MQSIM=ON.
  • ctest --test-dir build --output-on-failure is green, or every new failure is explained above.
  • python3 scripts/check_doc_links.py reports zero broken links.
  • No number is claimed that a document under docs/proofs/ does not support.
  • If this supersedes a published number, the affected proof document says so.