Skip to content

Commit

Permalink
CI: more timeouts, run testworkspace on macOS (#5895)
Browse files Browse the repository at this point in the history
Turns out testworkspace on macOS resp. BSD may behave differently
from Linux, so better run it there, too. It is a quick test anyway.
  • Loading branch information
fingolfin authored Jan 6, 2025
1 parent ad7c0dd commit 60536bc
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 1 deletion.
4 changes: 3 additions & 1 deletion .github/workflows/CI.yml
Original file line number Diff line number Diff line change
Expand Up @@ -89,7 +89,7 @@ jobs:
# this job also tests GAP without readline and gmp
- os: macos-latest
shell: bash
test-suites: "testmockpkg testinstall"
test-suites: "testmockpkg testinstall testworkspace"
extra: "BOOTSTRAP_MINIMAL=yes"

# run bugfix regression tests
Expand Down Expand Up @@ -287,6 +287,7 @@ jobs:
cross_compile:
# The host should always be linux
runs-on: ubuntu-22.04
timeout-minutes: 60
name: Cross compiler for s390x

steps:
Expand Down Expand Up @@ -362,6 +363,7 @@ jobs:
openbsd:
runs-on: ubuntu-latest
timeout-minutes: 60
name: Test in OpenBSD
env:
AUTOCONF_VERSION: 2.71
Expand Down
2 changes: 2 additions & 0 deletions .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -65,6 +65,7 @@ jobs:
# Don't run this twice on PRs for branches pushed to the same repository
if: ${{ !(github.event_name == 'pull_request' && github.event.pull_request.head.repo.full_name == github.repository) }}
runs-on: ubuntu-latest
timeout-minutes: 60
outputs:
gap-build-version: ${{ steps.get-build.outputs.name }}

Expand Down Expand Up @@ -171,6 +172,7 @@ jobs:
name: "Create Windows x86_64 installer"
needs: unix
runs-on: windows-2019
timeout-minutes: 120
env:
CHERE_INVOKING: 1
GAP_VERSION: ${{ needs.unix.outputs.gap-build-version }}
Expand Down

0 comments on commit 60536bc

Please sign in to comment.