Hi Sprotty devs,
Regards
-- Dr. Miro Spönemann General Manager / Software Architect
TypeFox GmbH Am Germaniahafen 1, 24143 Kiel https://www.typefox.io
Sitz: Kiel, Registergericht: Amtsgericht Kiel, HRB 17385 Geschäftsführer: Daniel Dietrich, Dr. Miro Spönemann
On Jan 19, 2024, at 10:09, Kai Salmen via sprotty-dev <sprotty-dev@xxxxxxxxxxx> wrote:
Hi Sprotty devs,
with every commit to a PR branch a build is triggered on Jenkins server ( https://ci.eclipse.org/sprotty/) and it is currently failing. As a result a required PR check is failing.
I have two questions: - Is this integration still needed as we have the GitHub Action ensuring build, lint and test are successful and can we therefore remove it from the PR checks? - Is the Jenkins and the build job still needed these days or could it be fully deactivated? I don't know the overall history and its current purpose, so this suggestion may seem bold or naive. :-)
Thank you and cheers,
Kai -- Kai Salmen Senior Software Engineer & Consultant
TypeFox GmbH Am Germaniahafen 1, 24143 Kiel
Sitz: Kiel, Registergericht: Amtsgericht Kiel, HRB 17385 Geschäftsführer: Daniel Dietrich, Dr. Miro Spönemann
_______________________________________________ sprotty-dev mailing list sprotty-dev@xxxxxxxxxxx To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/sprotty-dev
|