From 95e494968053a17ac05a0c1cec9d8b2c7d450296 Mon Sep 17 00:00:00 2001
From: Emil Fresk <emil.fresk@gmail.com>
Date: Sun, 8 Jan 2023 21:33:44 +0100
Subject: Start CI, disable docs building

---
 src/export.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/export.rs')

diff --git a/src/export.rs b/src/export.rs
index 091cfb8..7beaf16 100644
--- a/src/export.rs
+++ b/src/export.rs
@@ -298,7 +298,7 @@ pub unsafe fn lock<T, R, const M: usize>(
     if ceiling >= 4 {
         // safe to manipulate outside critical section
         // execute closure under protection of raised system ceiling
-        
+
         // safe to manipulate outside critical section
         interrupt::free(|_| f(&mut *ptr))
     } else {
-- 
cgit v1.2.3