Skip to content

Commit

Permalink
CI: ubuntu-18.04 are not supported anymore
Browse files Browse the repository at this point in the history
... so drop the 32bit package tests, because trying them with 20.04 gives:

    E: Unable to locate package 4ti2:i386
    E: Unable to locate package libcdd-dev:i386
    E: Unable to locate package libfplll-dev:i386
    E: Unable to locate package libmpfi-dev:i386
    E: Unable to locate package pari-gp:i386
    E: Unable to locate package singular:i386
  • Loading branch information
fingolfin committed Apr 5, 2023
1 parent 976b62e commit 9d6fe77
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions .github/workflows/CI.yml
Original file line number Diff line number Diff line change
Expand Up @@ -86,14 +86,6 @@ jobs:
test-suites: "testinstall"
extra: "HPCGAP=yes ABI=64"

# compile packages and run GAP tests in 32 bit mode
# it seems profiling is having trouble collecting the coverage data
# here, so we use NO_COVERAGE=1
- os: ubuntu-18.04 # TODO: in ubuntu-latest, the 32bit tests don't work...
shell: bash
test-suites: "testpackages testinstall-loadall"
extra: "ABI=32 NO_COVERAGE=1"

# this job also tests GAP without readline
- os: macos-latest
shell: bash
Expand Down

0 comments on commit 9d6fe77

Please sign in to comment.