[WIP] Add a CI#266
Conversation
update ci test update update ci update ci update ci update ci update ci update ci update ci update ci update ci update ci i want it to run on pushes update ci update ci update ci update ci update ci update ci update ci
|
Could you please explain to me the benefits of this workflow? What does it achieve which is not covered by check_correctness.yml? Moreover, I think we should plan to go out of GitHub. Using GitHub CI increases our coupling with the platform. |
|
You're right, for some reason I didn't find the already present Github action. We should move away from Github? Where to? |
Well, let’s say we could wish for philosophical reasons. Where… the one and only place could be https://gitlab.adullact.net/dgfip/, as a forge both publicly readable on the internet and managed by French administration-adjacent people that we already use. |
|
May I suggest we close the PR? |
3 participants
This MR adds a CI (Continuous Integration) to the project. As such the test suite is ran whenever a merge request is opened or updated.
This MR is based on the #265 MR, so it should not be merged yet.