Admin message

Following a new security issue on the Linux kernel, we have temporarily disabled our shared GitLab runners. We will update it and put it back online when a fix is available.

v1.0
4254c2b4 · Merge branch 'main' into 'main' · Jul 20, 2026