From 714eec89604d2ac6ce26134929016c4e3588d578 Mon Sep 17 00:00:00 2001
From: Michael Rogenmoser <michael@rogenmoser.us>
Date: Tue, 9 Jul 2024 15:22:04 +0200
Subject: [PATCH] Update internal CI

---
 idma.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idma.mk b/idma.mk
index c239168e..9eebc3f3 100644
--- a/idma.mk
+++ b/idma.mk
@@ -440,7 +440,7 @@ idma_spinx_doc_clean:
 
 IDMA_NONFREE_REMOTE ?= git@iis-git.ee.ethz.ch:bslk/idma/idma-non-free.git
 IDMA_NONFREE_DIR    ?= $(IDMA_ROOT)/nonfree
-IDMA_NONFREE_COMMIT ?= deploy
+IDMA_NONFREE_COMMIT ?= 6407a1a46a57133613ca920ab921b56de44d2140
 
 idma_nonfree_init:
 	git clone $(IDMA_NONFREE_REMOTE) $(IDMA_NONFREE_DIR)