Skip to content

Fix problem with different values of BUILD_DIR in create_sources_jar()

Sebastian requested to merge fix-issues-with-create-sources-jar into master

After my sloppiness with the last merge requests, I made sure the pipelines pass this time. Ran the macOS and the Linux pipelines to catch problems on both kinds of builds.

Merge request reports