Skip to content
static analysis

chore: Dafny test code changes for Python #4904

Sign in to view logs

chore: Dafny test code changes for Python

chore: Dafny test code changes for Python #4904

Triggered via pull request May 27, 2025 21:12
@lucasmcdonald3lucasmcdonald3
opened #1911
python-dafny-changes
Status Success
Total duration 21s
Artifacts –

ci_static_analysis.yml

on: pull_request
not-grep
14s
not-grep
Fit to window
Zoom out
Zoom in