remove opam dependencies, broken currently

c-cube · Nov 27, 2023 · fdb7c0f · fdb7c0f
1 parent 19e3dc9
commit fdb7c0f
Showing 1 changed file with 0 additions and 33 deletions.
diff --git a/.github/workflows/opam-dependencies.yml b/.github/workflows/opam-dependencies.yml