Update codeql.yml

...
cooljeanius · Jun 3, 2024 · fbe4098 · fbe4098
1 parent bc62382
commit fbe4098
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 lablgtk3-extras lablgtk3-goocanvas2 gtk-light z3 z3_tptp
-        opam -y install lablgtk3-rsvg2 || opam install -y lablgtk3-sourceview3 || opam -y install lablgtk3-gtkspell3
+        opam -y install xmlm ulex easy-format camomile gettext-camomile camlidl batteries lablgl lablgtk lablgtk-extras lablgtk3 lablgtk3-extras lablgtk3-goocanvas2 z3 z3_tptp
+        opam -y install lablgtk3-rsvg2 || opam install -y lablgtk3-sourceview3 || opam -y install lablgtk3-gtkspell3 || opam -y install gtk-light
 
     # Initializes the CodeQL tools for scanning.
     - name: Initialize CodeQL