Closed hjorthjort closed 3 years ago
This PR is to speed up our CI times. It splits the Dexter proofs at the Makefile level, but keeps them as a single CI target, for now. We can also make separate CI targets later if need be.
This PR is to speed up our CI times. It splits the Dexter proofs at the Makefile level, but keeps them as a single CI target, for now. We can also make separate CI targets later if need be.