Merge pull request #1078 from goblint/escape_analysis_flow-insens #1

Sign in to view logs

Summary
Jobs
- semgrep
Run details
- Usage
- Workflow file

Triggered via push July 7, 2023 09:12

mrstanb

master

Status Failure

Total duration 45s

Artifacts –

semgrep.yml

on: push

Annotations

1 error

Resource not accessible by integration