Skip to content

Jenkinsfile: Remove unused jenkinsfile

Piotr Kubik requested to merge pkubik_remove_unused_jenkinsfile into devel

This is not used since some time. Clean it up.

https://project.iopsys.eu/issues/13725

Merge request reports