fix 32-bit test issue; disable Windows CI; rm old runtests

StefanKarpinski · Dec 27, 2023 · 46ba61c · 46ba61c
1 parent d3ee50c
commit 46ba61c
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 365 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -21,7 +21,7 @@ jobs:
         os:
           - ubuntu-latest
           - macos-latest
-          - windows-latest
+          # - windows-latest
         arch:
           - x64
           - x86

diff --git a/src/SAT.jl b/src/SAT.jl
@@ -25,7 +25,7 @@ function SAT(
     #   p    vars[p]    package p chosen
     #   p@i  vars[p]+i  version i of p chosen
     N = 1
-    vars = Dict{P, Int}()
+    vars = Dict{P,Int}()
     for p in names
         vars[p] = N
         n_p = length(info[p].versions)

diff --git a/test/runtests_old.jl b/test/runtests_old.jl