Closed jncots closed 2 years ago
It should be tested:
The PR also misses the deletion of the azure pipeline scripts. Currently a merge would trigger github actions and azure doing the same thing.
No more comments
It should be tested: