Sanitize #777
Workflow file for this run
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: Sanitize | |
on: | |
pull_request_review: | |
types: [submitted] | |
concurrency: | |
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} | |
cancel-in-progress: true | |
jobs: | |
build_and_run_sanitizer: | |
name: ${{ matrix.mode }} | |
strategy: | |
matrix: | |
mode: ["asan", "msan", "tsan", "ubsan"] | |
fail-fast: false | |
runs-on: ubuntu-24.04 | |
if: github.event.review.state == 'APPROVED' | |
steps: | |
- uses: actions/checkout@v4 | |
- name : Purge runner | |
# Strip the runner to avoid space quota exceeding | |
run: | | |
sudo apt-get purge -y \ | |
azure-cli microsoft-edge-stable google-cloud-cli \ | |
google-chrome-stable temurin-21-jdk temurin-17-jdk \ | |
temurin-11-jdk dotnet-sdk-8.0 firefox temurin-8-jdk \ | |
powershell libllvm17t64 libllvm18 libllvm16t64 \ | |
openjdk-21-jre-headless mysql-server-core-8.0 | |
sudo apt-get autoremove | |
sudo apt-get autoclean | |
- name: Build [${{ matrix.mode }}] | |
run: | | |
docker build -f ${{ github.workspace }}/docker/sanitizers/Dockerfile \ | |
--no-cache --build-arg SANITIZER_NAME=${{ matrix.mode }} \ | |
-t sanitizer-${{ matrix.mode }} . | |
- name: UT [c++,${{ matrix.mode }}] | |
run: docker run --rm sanitizer-${{ matrix.mode }} |