maj00r caf1c6d0b3 Bring the build workflow over from main ...

The file did not exist on this branch (it was cut before the workflow landed
on main), so a merge would have shown it as new. It is copied verbatim: this
branch is not in the push triggers and builds nothing on its own.

2026-08-25 23:42:52 +02:00

..

workflows

Bring the build workflow over from main

2026-08-25 23:42:52 +02:00