fixed bs in workflows

This commit is contained in:
Václav Šmejkal 2025-01-08 18:01:54 +01:00
parent f8892b03bf
commit 9feca42ec5
Signed by: ENGO150
GPG Key ID: 4A57E86482968843
4 changed files with 16 additions and 8 deletions

@ -38,7 +38,7 @@ jobs:
steps: steps:
- name: Checkout repository - name: Checkout repository
- uses: actions/checkout@v2 uses: actions/checkout@v2
with: with:
ref: development ref: development
@ -54,8 +54,10 @@ jobs:
- name: Preparation - name: Preparation
run: sudo ./${{ matrix.configure }} run: sudo ./${{ matrix.configure }}
- name: Set up Rust
uses: dtolnay/rust-toolchain@stable
- name: Install WHY2 - name: Install WHY2
- uses: dtolnay/rust-toolchain@stable
run: make install run: make install
- name: Build Chat - name: Build Chat

@ -39,7 +39,7 @@ jobs:
steps: steps:
- name: Checkout repository - name: Checkout repository
- uses: actions/checkout@v2 uses: actions/checkout@v2
with: with:
ref: development ref: development
@ -58,8 +58,10 @@ jobs:
- name: Install Valgrind - name: Install Valgrind
run: sudo apt install valgrind run: sudo apt install valgrind
- name: Set up Rust
uses: dtolnay/rust-toolchain@stable
- name: Install WHY2 - name: Install WHY2
- uses: dtolnay/rust-toolchain@stable
run: make install run: make install
- name: Build WHY2 Test - name: Build WHY2 Test

@ -39,7 +39,7 @@ jobs:
steps: steps:
- name: Checkout repository - name: Checkout repository
- uses: actions/checkout@v2 uses: actions/checkout@v2
with: with:
ref: development ref: development
@ -58,8 +58,10 @@ jobs:
- name: Install Valgrind - name: Install Valgrind
run: sudo apt install valgrind run: sudo apt install valgrind
- name: Set up Rust
uses: dtolnay/rust-toolchain@stable
- name: Install WHY2 - name: Install WHY2
- uses: dtolnay/rust-toolchain@stable
run: make install run: make install
- name: Build WHY2 Test - name: Build WHY2 Test

@ -35,7 +35,7 @@ jobs:
steps: steps:
- name: Checkout repository - name: Checkout repository
- uses: actions/checkout@v2 uses: actions/checkout@v2
with: with:
ref: development ref: development
@ -52,8 +52,10 @@ jobs:
- name: Preparation - name: Preparation
run: sudo ./${{ matrix.configure }} run: sudo ./${{ matrix.configure }}
- name: Set up Rust
uses: dtolnay/rust-toolchain@stable
- name: Install WHY2 - name: Install WHY2
- uses: dtolnay/rust-toolchain@stable
run: make install run: make install
- name: Download WHY2 test project - name: Download WHY2 test project