From cda356c9d80113de9024098a291c4e65376f0519 Mon Sep 17 00:00:00 2001 From: ENGO150 Date: Wed, 25 May 2022 17:24:41 +0200 Subject: [PATCH] trying to remove workflow server update it's causing some problems and it's kinda annoying how long it takes [it is possible I will revert this] --- .github/workflows/why2-project.yml | 10 +++++----- .github/workflows/why2-test.yml | 20 ++++++++++---------- 2 files changed, 15 insertions(+), 15 deletions(-) diff --git a/.github/workflows/why2-project.yml b/.github/workflows/why2-project.yml index cc79e95..069618c 100644 --- a/.github/workflows/why2-project.yml +++ b/.github/workflows/why2-project.yml @@ -24,11 +24,11 @@ jobs: with: ref: development - - if: matrix.os == 'ubuntu-latest' - name: Update packages - run: | - sudo apt update - sudo apt upgrade +# - if: matrix.os == 'ubuntu-latest' +# name: Update packages +# run: | +# sudo apt update +# sudo apt upgrade - name: Permissions run: | diff --git a/.github/workflows/why2-test.yml b/.github/workflows/why2-test.yml index e826ccc..866aa5b 100644 --- a/.github/workflows/why2-test.yml +++ b/.github/workflows/why2-test.yml @@ -25,11 +25,11 @@ jobs: with: ref: development - - if: matrix.os == 'ubuntu-latest' - name: Update packages - run: | - sudo apt update - sudo apt upgrade +# - if: matrix.os == 'ubuntu-latest' +# name: Update packages +# run: | +# sudo apt update +# sudo apt upgrade - name: Permissions run: | @@ -72,11 +72,11 @@ jobs: with: ref: development - - if: matrix.os == 'ubuntu-latest' - name: Update packages - run: | - sudo apt update - sudo apt upgrade +# - if: matrix.os == 'ubuntu-latest' +# name: Update packages +# run: | +# sudo apt update +# sudo apt upgrade - name: Permissions run: chmod +x ${{ matrix.configure }}