Skip to content

Add Gambit mutation test to CI #134

Add Gambit mutation test to CI

Add Gambit mutation test to CI #134

Workflow file for this run

name: Slither Analysis
on:
workflow_dispatch:
pull_request:
jobs:
analyze:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Run Slither
uses: crytic/[email protected]
id: slither
with:
sarif: results.sarif
fail-on: medium
- name: Upload SARIF file
if: always()
uses: github/codeql-action/upload-sarif@v3
with:
sarif_file: ${{ steps.slither.outputs.sarif }}