krzema12 / kotlin-python

Python target for the Kotlin Programming Language. See https://github.com/krzema12/kotlin-python/tree/python-backend/python
https://discuss.kotlinlang.org/t/idea-python-backend/19852
47 stars 1 forks source link

Move box tests reports generation to CI #83

Closed krzema12 closed 2 years ago

krzema12 commented 2 years ago

It takes time and effort to rerun everything locally. Like @SerVB proposed #82, we could move the workflow to GitHub Actions.

As the last step of building a given pull request, there should be an automated commit that updates all the reports (stuff inside python/box.tests/reports).

Be wary of an endless loop: the automation adds the commit, it triggers another build in the PR, which adds another commit, and so on. In theory this loop should be broken as soon as the N-th iteration regenerates the reports and the diff is empty, then I think committing will fail. This case has to be handled gracefully, best if just one build (per test task) is ran for each PR, it commits the reports and that's it.