Closed MainRo closed 3 years ago
Can we consider moving the CI to github actions ? I see several potentials benefits to this:
The drawback is that CIs become specific to github so any fork on another git host will not have CIs available.
done
Can we consider moving the CI to github actions ? I see several potentials benefits to this:
The drawback is that CIs become specific to github so any fork on another git host will not have CIs available.