Merge pull request #190014 from fgaz/vengi-tools/0.0.21

vengi-tools: 0.0.20 -> 0.0.21
This commit is contained in:
Graham Christensen 2022-10-02 13:04:45 -04:00 committed by GitHub
commit 25acc1d800
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 5 deletions

View File

@ -20,10 +20,8 @@ import ./make-test-python.nix ({ pkgs, ... }: {
machine.wait_for_x()
machine.execute("vengi-voxedit >&2 &")
machine.wait_for_window("voxedit")
# OCR on voxedit's window is very expensive, so we avoid wasting a try
# by letting the window load fully first
# Let the window load fully
machine.sleep(15)
machine.wait_for_text("Solid")
machine.screenshot("screen")
'';
})

View File

@ -29,13 +29,13 @@
stdenv.mkDerivation rec {
pname = "vengi-tools";
version = "0.0.20";
version = "0.0.21";
src = fetchFromGitHub {
owner = "mgerhardy";
repo = "vengi";
rev = "v${version}";
sha256 = "sha256-WsG6mjO90QQNsAarxdupZvXubdy06JjQmVYUzygl8l4=";
sha256 = "sha256-T9YBU/YhhOASdKnzLcwQGBLc4HcQspiOV9VRgotfq3c=";
};
nativeBuildInputs = [