chiark
/
gitweb
/
~ian
/
hippotat.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
e188c93
ceebf39
)
Merge branch 'ci' into 'main'
author
Ian Jackson
<iwj@debian.org>
Thu, 15 Jun 2023 11:48:31 +0000
(11:48 +0000)
committer
Ian Jackson
<iwj@debian.org>
Thu, 15 Jun 2023 11:48:31 +0000
(11:48 +0000)
CI: check that build-deps in d/control are as autogenerated
See merge request iwj/hippotat!3
Trivial merge