From a3388dc3bbcf585ced12db0784ec9549f7167ee2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Thu, 12 Oct 2023 15:42:06 +0200
Subject: [PATCH] Update doc.yml

---
 .github/workflows/doc.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index cdd57bf5a..21d39c19d 100644
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -16,6 +16,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
 
+    - name: workaround bug
+      run: sudo apt-get update
+
     - name: checkout
       uses: actions/checkout@v2