From 23078e5a284cc01bb4025bfbca297e2d112c0751 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Mon, 11 Jul 2022 18:01:06 +0200
Subject: [PATCH] removed test-why2-script job from why2-test workflow

---
 .github/workflows/why2-test.yml | 48 ---------------------------------
 1 file changed, 48 deletions(-)

diff --git a/.github/workflows/why2-test.yml b/.github/workflows/why2-test.yml
index 46af1af..fee66f2 100644
--- a/.github/workflows/why2-test.yml
+++ b/.github/workflows/why2-test.yml
@@ -6,54 +6,6 @@ on:
   workflow_dispatch:
 
 jobs:
-  test-why2-script:
-    runs-on: ${{ matrix.os }}
-
-    strategy:
-      matrix:
-        os:  [ ubuntu-latest ]
-        include:
-          - os: ubuntu-latest
-            output: out/why2-test
-            configure: configure.sh
-            build: build.sh
-            app: why2
-
-    steps:
-      - name: Checkout repository
-        uses: actions/checkout@v2
-        with:
-          ref: development
-
-      - if: matrix.os == 'ubuntu-latest'
-        name: Update packages
-        run: |
-          sudo apt update
-#         sudo apt upgrade
-
-      - name: Permissions
-        run: |
-          chmod +x ${{ matrix.configure }}
-          chmod +x ${{ matrix.build }}
-
-      - name: Preparation
-        run: sudo ./${{ matrix.configure }}
-
-      - name: Install WHY2 (Lib)
-        run: sudo ./${{ matrix.build }} install
-
-      - name: Install WHY2 (App)
-        run: sudo ./${{ matrix.build }} app
-
-      - name: Build WHY2 (Test)
-        run: ./${{ matrix.build }} test
-
-      - name: Test Lib
-        run: ./${{ matrix.output }}
-
-      - name: Test App
-        run: ${{ matrix.app }}
-
   test-why2-makefile:
     runs-on: ${{ matrix.os }}