static analysis

chore(gha): fix workflows triggered by dafny-interop.yml #4030

Sign in to view logs

Summary
Jobs
- not-grep
Run details
- Usage
- Workflow file

Triggered via pull request January 27, 2025 19:36

opened #1598

rkapila/fix-dafny-interop-workflow

Status Success

Total duration 26s

Artifacts –

ci_static_analysis.yml

on: pull_request