Andreas Dangel 4d7d36b988
[ci] Fix selecting default on sourceforge
Updates build-tools to 22-SNAPSHOT

Refs #4460
2023-06-01 08:19:58 +02:00
..