From 936973a79d4a24ca5402c3369630eed559b4f98e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Albin=20Ahlb=C3=A4ck?= Date: Sun, 15 Dec 2024 18:32:12 +0100 Subject: [PATCH] Update CI --- .github/workflows/CI.yml | 2 +- .github/workflows/docs.yml | 2 +- .github/workflows/push_CI.yml | 13 +++++++------ 3 files changed, 9 insertions(+), 8 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index f1be6f2f63..4f16653d5d 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -84,7 +84,7 @@ jobs: $MAKE coverage - name: "Upload coverage data" - uses: codecov/codecov-action@v4 + uses: codecov/codecov-action@v5 if: github.repository == 'flintlib/flint' with: files: build/coverage/coverage.info diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 425b44ec5f..8f91a02fdf 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -53,7 +53,7 @@ jobs: tar -czvf doc.tar.gz doc - name: "Setup SSH key" - uses: shimataro/ssh-key-action@v2.5.0 + uses: shimataro/ssh-key-action@v2.7.0 with: key: ${{ secrets.SSH_KEY }} name: id_ed25519 diff --git a/.github/workflows/push_CI.yml b/.github/workflows/push_CI.yml index 95f783fa86..31035037e2 100644 --- a/.github/workflows/push_CI.yml +++ b/.github/workflows/push_CI.yml @@ -2,9 +2,9 @@ name: CI on push on: push: - branches: - - main - - flint-* + # branches: + # - main + # - flint-* concurrency: # group by workflow and ref; the last slightly strange component ensures that for pull @@ -20,7 +20,7 @@ jobs: freebsd-gcc: name: FreeBSD Clang (x0.5) - runs-on: macos-13 + runs-on: ubuntu-latest env: FLINT_TEST_MULTIPLIER: "0.5" @@ -28,12 +28,13 @@ jobs: - uses: actions/checkout@v4 - name: "Run tests on FreeBSD" - uses: cross-platform-actions/action@v0.23.0 + uses: cross-platform-actions/action@v0.26.0 timeout-minutes: 15 continue-on-error: true with: operating_system: freebsd - version: '14.0' + version: '14.2' + architecture: x86-64 shell: bash run: | sudo pkg install -y pkgconf gmake gmp mpfr autoconf libtool automake