Extension to strength reduction for issue 5280 #36
Workflow file for this run
This file contains hidden or 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-ubuntu-24.04-sanitizers" | |
| on: | |
| schedule: | |
| # Every day on midnight UTC | |
| - cron: "0 0 * * *" | |
| pull_request: | |
| branches: [main] | |
| push: | |
| branches: [main] | |
| # Cancel any preceding run on the pull request. | |
| concurrency: | |
| group: test-ubuntu24-clang-sanitizers-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} | |
| jobs: | |
| # Build with clang and test p4c on Ubuntu 24.04. | |
| test-ubuntu24-clang-sanitizers: | |
| # Only run on pull requests with the "run-sanitizer" label. | |
| if: ${{ github.event_name == 'schedule' || contains(github.event.pull_request.labels.*.name, 'run-sanitizer') }} | |
| runs-on: ubuntu-24.04 | |
| env: | |
| CTEST_PARALLEL_LEVEL: 2 | |
| IMAGE_TYPE: test | |
| COMPILE_WITH_CLANG: ON | |
| BUILD_AUTO_VAR_INIT_PATTERN: ON | |
| ENABLE_SANITIZERS: ON | |
| UBSAN_OPTIONS: print_stacktrace=1 | |
| ASAN_OPTIONS: print_stacktrace=1:detect_leaks=0 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: ccache | |
| uses: hendrikmuhs/ccache-action@v1 | |
| with: | |
| key: test-${{ runner.os }}-clang | |
| max-size: 1000M | |
| - name: Build (Ubuntu 24.04, Clang, Sanitizers) | |
| run: | | |
| tools/ci-build.sh | |
| - name: Run tests (Ubuntu 24.04) | |
| # Need to use sudo for the eBPF kernel tests. | |
| run: sudo -E env PATH="$PATH" uv run ctest --output-on-failure --schedule-random | |
| working-directory: ./build |