Skip to content

Fix ConsumerStateTable pop make Redis busy issue #562

Fix ConsumerStateTable pop make Redis busy issue

Fix ConsumerStateTable pop make Redis busy issue #562

Workflow file for this run

name: Semgrep
on:
pull_request: {}
push:
branches:
- master
- '201[7-9][0-1][0-9]'
- '202[0-9][0-1][0-9]'
jobs:
semgrep:
if: github.repository_owner == 'sonic-net'
name: Semgrep
runs-on: ubuntu-latest
container:
image: returntocorp/semgrep
steps:
- uses: actions/checkout@v3
- run: semgrep ci
env:
SEMGREP_RULES: p/default