chiark / gitweb /
Merge branch 'ci' into 'main'
authorIan Jackson <iwj@debian.org>
Thu, 15 Jun 2023 01:28:41 +0000 (01:28 +0000)
committerIan Jackson <iwj@debian.org>
Thu, 15 Jun 2023 01:28:41 +0000 (01:28 +0000)
commit262931c80a0ae5dcc6689fcb3fd7c6a73ba71f92
treecb2eaf51e4f768f37eb5b5f59b9e0d7cb6f2fd91
parenta6ac94b4922602af64f22b86ba5347ad95fcda44
parent604c8f2f26ee87806df23abdae7fee40aedaedf3
Merge branch 'ci' into 'main'

Add CI tests

See merge request iwj/hippotat!1