Skip to content

fix: Fix data race issue on metrics Counters and Histograms (#139) #118

fix: Fix data race issue on metrics Counters and Histograms (#139)

fix: Fix data race issue on metrics Counters and Histograms (#139) #118

Workflow file for this run

name: Semgrep
on:
push:
branches:
- main
jobs:
semgrep:
name: Scan
runs-on: ubuntu-latest
container:
image: returntocorp/semgrep
if: (github.actor != 'dependabot[bot]' && github.actor != 'snyk-bot')
steps:
- uses: actions/checkout@eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871 # v4.2.1
with:
fetch-depth: 0
- run: semgrep ci --no-suppress-errors
env:
SEMGREP_APP_TOKEN: ${{ secrets.SEMGREP_APP_TOKEN }}