chiark / gitweb /
Merge branch 'ci' into 'main'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 2 Feb 2025 17:05:27 +0000 (17:05 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 2 Feb 2025 17:05:27 +0000 (17:05 +0000)
commitd6dc8af816b30a04c38e428d381fe8282c95be5c
tree69560b25d063e28fcb33311dde435245fbb2de92
parente8e69e40995cb0fc14b00666d7a00dd64180a7c2
parent63fbb8437fbede4e4e802592d14677bd9685b369
Merge branch 'ci' into 'main'

autopkgtests: Use `isolation-machine` restriction

See merge request iwj/hippotat!47