Skip to content

createrelease: in release branches it's preferable that dmake is executed with --release in the ci when checking the integrity of the Makefile [skip ci]#5391

Merged
danmar merged 1 commit intomainfrom
createrelease-dmake-ci
Sep 1, 2023
Merged

createrelease: in release branches it's preferable that dmake is executed with --release in the ci when checking the integrity of the Makefile [skip ci]#5391
danmar merged 1 commit intomainfrom
createrelease-dmake-ci