Closed pagrubel closed 2 months ago
On April 16 during our project meeting we decided that CI should run for PR's with the WIP label. Currently CI is by-passed. However, the no ci label needs to be fixes so CI can be by-passed if so labeled.
WIP
no ci
Fixed in #825
pagrubel
commented
2 months ago
On April 16 during our project meeting we decided that CI should run for PR's with the
WIPlabel. Currently CI is by-passed. However, theno cilabel needs to be fixes so CI can be by-passed if so labeled.