🔀 Merge branch 'feature/add-jenkinsfile' main
authorDavid ‘Bombe’ Roden <bombe@pterodactylus.net>
Fri, 4 Oct 2024 18:44:10 +0000 (20:44 +0200)
committerDavid ‘Bombe’ Roden <bombe@pterodactylus.net>
Fri, 4 Oct 2024 18:44:10 +0000 (20:44 +0200)

Trivial merge