From 702f5cadd1866ce1d06a3bd2acb5ab4d1a07a905 Mon Sep 17 00:00:00 2001
From: Michal Podhradsky <mpodhradsky@galois.com>
Date: Thu, 6 Feb 2025 16:42:11 -0800
Subject: [PATCH] install missing deps in frama-c image

---
 .github/workflows/proofs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/proofs.yml b/.github/workflows/proofs.yml
index a93825a..b5c4e07 100644
--- a/.github/workflows/proofs.yml
+++ b/.github/workflows/proofs.yml
@@ -43,7 +43,7 @@ jobs:
           image: framac/frama-c:dev
           options: -v ${{ github.workspace }}:/work -w /work
           run: |
-            apt-get update && apt-get install -y z3
+            sudo apt-get update && sudo apt-get install -y z3
             why3 config detect
             cd components/mission_protection_system/src
             mkdir -p /tmp/wp-session/script