From 9c7b95e3527479ab4cfeb6dd33a6d316eebbaea1 Mon Sep 17 00:00:00 2001 From: Dario Izzo Date: Wed, 23 Oct 2024 12:53:48 +0200 Subject: [PATCH] refresh of CI --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index b62d90d..d8caa83 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -56,7 +56,7 @@ jobs: - name: Build run: bash tools/gha_pygmo_plugins_nonfree_linux_py312.sh linux_release_py313: - runs-on: ubuntu-latest + runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 - name: Build