chiark / gitweb /
Merge branch 'ci' into 'main'
authorIan Jackson <iwj@debian.org>
Thu, 15 Jun 2023 16:28:26 +0000 (16:28 +0000)
committerIan Jackson <iwj@debian.org>
Thu, 15 Jun 2023 16:28:26 +0000 (16:28 +0000)
commit6e3d5ce6c0d248a26a2156ab761e5b2a41702e90
tree204ea6c7f233dd0c84dbe0115e57130994f1d2b7
parent199c764a71cefdc2e278238df2777b4436ba843c
parent15df5ce2c48cf1595a412c5342201120c2b38b14
Merge branch 'ci' into 'main'

CI: Target trixie

See merge request iwj/hippotat!4