This repository has been archived by the owner on Jun 27, 2024. It is now read-only.

semgrep

fix: panic if there are no workers #105

Sign in to view logs

Summary
Jobs
- semgrep/ci
Run details
- Usage
- Workflow file

Triggered via pull request June 26, 2024 14:16

rustatian

synchronize #128

fix/fail-on-no-workers

Status Success

Total duration 1m 19s

Artifacts –

semgrep.yml

on: pull_request