c-semantics icon indicating copy to clipboard operation
c-semantics copied to clipboard

Published 20 hours ago • verified publisher icon kframework

include tests for fatpack distributables in CI

Open charala1 opened this issue 5 years ago • 1 comments

As it stands, we do not know if we do the packaging right.

charala1 avatar Jun 06 '19 19:06 charala1

We should move the fatpack stuff to Match instead of testing it (insofar as it is currently tested) twice.

chathhorn avatar Jun 06 '19 19:06 chathhorn