Skip to content
static analysis

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

Sign in to view logs

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

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

Triggered via push January 27, 2025 20:31
@RitvikKapilaRitvikKapila
pushed 0cb009d
main
Status Success
Total duration 26s
Artifacts –

ci_static_analysis.yml

on: push
not-grep
18s
not-grep
Fit to window
Zoom out
Zoom in