Github actions for continuous integration
Opened this issue · 0 comments
lopeetall commented
CI should run certain tests and check that benches for compilation time do not change drastically for a PR to be merged
Opened this issue · 0 comments
CI should run certain tests and check that benches for compilation time do not change drastically for a PR to be merged