minor improvements (#4963) #1
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: "test-p4c-fedora" | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| branches: [main] | |
| merge_group: | |
| branches: [main] | |
| # Cancel any preceding run on the pull request. | |
| concurrency: | |
| group: test-p4c-fedora-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} | |
| jobs: | |
| # Build and test p4c on Fedora. | |
| test-fedora-linux: | |
| # This job runs in Fedora container that runs in Ubuntu VM. | |
| runs-on: ubuntu-latest | |
| container: | |
| image: registry.fedoraproject.org/fedora:latest | |
| options: --privileged | |
| env: | |
| IN_DOCKER: "TRUE" | |
| env: | |
| CTEST_PARALLEL_LEVEL: 4 | |
| steps: | |
| # We need to install git here because it is not provided out of the box in Fedora container. | |
| - name: Install git | |
| run: dnf install -y -q git | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Install dependencies (Fedora Linux) | |
| run: tools/install_fedora_deps.sh | |
| - name: ccache | |
| uses: hendrikmuhs/ccache-action@v1 | |
| with: | |
| key: fedora-test-${{ runner.os }} | |
| max-size: 1000M | |
| - name: Build p4c (Fedora Linux) | |
| run: | | |
| ./bootstrap.sh -DCMAKE_BUILD_TYPE=Release -DCMAKE_UNITY_BUILD=ON --build-generator "Ninja" | |
| cmake --build build -- -j $(nproc) | |
| - name: Run p4c tests (Fedora Linux) | |
| run: | | |
| export PATH="$HOME/.local/bin:$PATH"; ctest --output-on-failure --schedule-random | |
| working-directory: ./build |