From 051166e60c90b65cd167c9e5d7d7209e046e3e2c Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sat, 22 Apr 2023 13:20:40 +0300 Subject: chore: change name of base Debian image There's no point in embedding the Debian release version in the filename. Sponsored-by: author --- check | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/check b/check index 0b2b460..225aa7e 100755 --- a/check +++ b/check @@ -45,7 +45,7 @@ chmod 0600 ssh/id # Create configuration for the test VMs used by the test suite. cat >test.cfg <