Add kinds to unknown_ptr, not_null and top_ptr calls #7617

Sign in to view logs

Summary
Jobs
- semgrep
Run details
- Usage
- Workflow file

Triggered via push September 4, 2023 18:32

karoliineh

unknown-origins

Status Success

Total duration 41s

Artifacts –

semgrep.yml

on: push