chiark / gitweb /
Merge branch 'salsa-ci' into 'main'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 14 Nov 2025 19:38:33 +0000 (19:38 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 14 Nov 2025 19:38:33 +0000 (19:38 +0000)
commita487ee790f779de1d50a09d8aa3b34737d39fee9
treecc46bed10b413ab112beb6613966a293bac46fc8
parente3e41b3aa43c38900ffb16716bb0971a7a423478
parentdb29a75ccf77932bf9088b5859587211f46b6f83
Merge branch 'salsa-ci' into 'main'

Provide gitlab CI configuration

See merge request iwj/userv!1