Fix CI to avoid redoing "build" in "test" stage - Githubissues

PrincetonUniversity / VST

Verified Software Toolchain

https://vst.cs.princeton.edu

Other

442 stars 93 forks source link

Fix CI to avoid redoing "build" in "test" stage #588

Closed andrew-appel closed 2 years ago