From fc70428b255169cf258d11532ca62ddbb6d8612a Mon Sep 17 00:00:00 2001
From: Mykel Kochenderfer <m.kochenderfer@gmail.com>
Date: Sun, 22 Oct 2023 08:56:26 -0700
Subject: [PATCH] force apt-get update

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

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 5eccc80..ff26650 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -47,7 +47,9 @@ jobs:
 
       # TexLive installation
       - name: Install TexLive
-        run: sudo apt-get install pdf2svg texlive-latex-base texlive-binaries texlive-pictures texlive-latex-extra texlive-luatex
+        run: |
+          sudo apt-get update
+          sudo apt-get install pdf2svg texlive-latex-base texlive-binaries texlive-pictures texlive-latex-extra texlive-luatex
 
       # build the depencies, run the tests, and upload coverage results
       - uses: julia-actions/julia-buildpkg@latest