Update codeql.yml

2 this time
cooljeanius · Jun 3, 2024 · d7b0f58 · d7b0f58
1 parent 499f221
commit d7b0f58
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
@@ -77,8 +77,8 @@ jobs:
         opam -y init --shell-setup
         eval "$(opam env --switch=default)"
         export CHECK_IF_PREINSTALLED=false
-        opam -y install xmlm ulex easy-format camomile gettext-camomile camlidl batteries lablgl lablgtk lablgtk-extras lablgtk3-goocanvas2 z3 z3_tptp
-        opam -y install lablgtk3 || opam -y install lablgtk3-extras || opam -y install lablgtk3-rsvg2 || opam install -y lablgtk3-sourceview3 || opam -y install lablgtk3-gtkspell3 || opam -y install gtk-light
+        opam -y install xmlm ulex easy-format camomile gettext-camomile camlidl batteries lablgl lablgtk3-goocanvas2 z3 z3_tptp
+        opam -y install lablgtk3 || opam -y install lablgtk3-extras || opam -y install lablgtk3-rsvg2 || opam install -y lablgtk3-sourceview3 || opam -y install lablgtk3-gtkspell3 || opam -y install gtk-light || opam -y install lablgtk-extras || opam -y install lablgtk
 
     # Initializes the CodeQL tools for scanning.
     - name: Initialize CodeQL