From 6aa43a1129c72309ce528f0d195fdd8586ee3af4 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Mon, 13 Apr 2020 16:16:30 +0530
Subject: [PATCH] Move all x86_64-linux-x86_64-genode checks to 86_64-linux

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 2c3d70c..451156e 100644
--- a/flake.nix
+++ b/flake.nix
@@ -127,6 +127,6 @@
             lib = self.lib.${system};
             nixpkgs = nixpkgsFor.${system};
           });
-      in checks' // { x86_64-linux = checks'.x86_64-linux-x86_64-genode; };
+      in { x86_64-linux = checks'.x86_64-linux-x86_64-genode; };
     };
 }