Results for “ccdwyer/proof-decay”

Tracks which test, typecheck, lint and build results are still true after later edits, and stops commit messages that claim checks which are stale