From 8f1a75bdfa74206c3f53ba1fd16c8876c0206c29 Mon Sep 17 00:00:00 2001
From: Nicolas Ayral Seydoux <nseydoux@inrupt.com>
Date: Mon, 1 Jul 2024 17:50:34 +0200
Subject: [PATCH] Run CI