Skip to content

Commit 8c44a29

Browse files
authored
CI: abort if Nemo or Singular fail to load (#1204)
1 parent 21d5dd6 commit 8c44a29

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/CI.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -71,7 +71,7 @@ jobs:
7171
- name: "Test REPL integration"
7272
run: etc/expect.sh --project=@.
7373
- name: "Add optional Julia dependencies for GAP tests"
74-
run: julia --color=yes -e 'using Pkg ; Pkg.add(["Singular", "Nemo"])'
74+
run: julia --color=yes -e 'using Pkg ; Pkg.add(["Singular", "Nemo"]) ; using Singular, Nemo'
7575
- name: "GAP tests"
7676
run: |
7777
julia --project=. -e 'import GAP; GAP.create_gap_sh("/tmp")'

0 commit comments

Comments
 (0)