This commit is contained in:
Maxime Desroches 2024-10-02 13:54:50 -07:00
parent 8b46d013e0
commit d67ba01b1f
1 changed files with 1 additions and 1 deletions

View File

@ -118,7 +118,7 @@ jobs:
run: eval "$BUILD"
- name: Mutation tests
timeout-minutes: 5
run: ${{ env.RUN }} "GIT_REF=${{ github.event_name == 'push' && github.ref == 'refs/heads/master' && github.event.before || 'origin/master' }} MUTATION_MODE=${{ matrix.mutation_mode }} cd tests/safety && ./mutation.sh"
run: ${{ env.RUN }} "GIT_REF=${{ github.event_name == 'push' && github.ref == 'refs/heads/master' && github.event.before || 'origin/master' }} cd tests/safety && MUTATION_MODE=${{ matrix.mutation_mode }} ./mutation.sh"
static_analysis:
name: static analysis