chiark / gitweb /
Merge branch 'rename' into 'main'
authorIan Jackson <iwj@debian.org>
Thu, 15 Jun 2023 20:10:58 +0000 (20:10 +0000)
committerIan Jackson <iwj@debian.org>
Thu, 15 Jun 2023 20:10:58 +0000 (20:10 +0000)
commit7b1849e23c8523c62c0cc08149c2b5f62b10a6bc
tree2dd20f10ceb470d9693ca90fcca86ff0873e4460
parent82f0cfc71312f2aa58276f48c5c47fa7dc607a45
parent6a9c5f513f8e991f803bce7c0c5058af695d2ea7
Merge branch 'rename' into 'main'

CI: rename "test-*" jobs to "package-*"

See merge request iwj/hippotat!14
.gitlab-ci.yml