diff --git a/.github/workflows/why2-project.yml b/.github/workflows/why2-project.yml index 14146de..bb3649d 100644 --- a/.github/workflows/why2-project.yml +++ b/.github/workflows/why2-project.yml @@ -35,7 +35,7 @@ jobs: chmod +x ${{ matrix.configure }} chmod +x ${{ matrix.build }} - - name: Praparating + - name: Preparation run: sudo ./${{ matrix.configure }} - name: Install WHY2 diff --git a/.github/workflows/why2-test.yml b/.github/workflows/why2-test.yml index b8c7e55..46af1af 100644 --- a/.github/workflows/why2-test.yml +++ b/.github/workflows/why2-test.yml @@ -36,7 +36,7 @@ jobs: chmod +x ${{ matrix.configure }} chmod +x ${{ matrix.build }} - - name: Praparating + - name: Preparation run: sudo ./${{ matrix.configure }} - name: Install WHY2 (Lib) @@ -81,7 +81,7 @@ jobs: - name: Permissions run: chmod +x ${{ matrix.configure }} - - name: Praparating + - name: Preparation run: sudo ./${{ matrix.configure }} - name: Install WHY2