chiark / gitweb /
~ian / hippotat.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: e188c93 ceebf39)
Merge branch 'ci' into 'main'
authorIan Jackson <iwj@debian.org>
Thu, 15 Jun 2023 11:48:31 +0000 (11:48 +0000)
committerIan Jackson <iwj@debian.org>
Thu, 15 Jun 2023 11:48:31 +0000 (11:48 +0000)
commitaa978222fe178e36f838ff09227623ead692bbf6
tree188b59956daec782d033cbc66a4d61e4c3eb06f9tree | snapshot
parente188c93dfef1bfb4f9558e588930c47df59fce92commit | diff
parentceebf39b4737ad2e0cad845bc385a8db8f92e25acommit | diff
Merge branch 'ci' into 'main'

CI: check that build-deps in d/control are as autogenerated

See merge request iwj/hippotat!3
Unnamed repository; edit this file 'description' to name the repository.