• Anthony Yeh's avatar
    Add quick-verify make rule. · db869a6b
    Anthony Yeh authored
    This is useful for humans to run to catch obvious problems before
    pushing commits and waiting for CI to run verify checks.
    
    Quick mode only runs a whitelist of verify scripts that are reasonably fast.
    I set the initial bar arbitrarily at <10s each on my workstation.
    
    The whole set runs in <30s for me, assuming I had already run `make` and
    `hack/godep-restore.sh`. This is compared to the full `make verify`
    which takes [I don't know how long because I gave up after 45min].
    db869a6b
verify.sh 3.31 KB