Skip to content
Check {:only} decorator presence

chore: Dafny test code changes for Python #1487

Sign in to view logs

chore: Dafny test code changes for Python

chore: Dafny test code changes for Python #1487

Triggered via pull request May 30, 2025 23:03
@rishav-karanjitrishav-karanjit
synchronize #1911
python-dafny-changes
Status Success
Total duration 12s
Artifacts –

check_only_key_word.yml

on: pull_request
grep-only-verification-keyword
6s
grep-only-verification-keyword
Fit to window
Zoom out
Zoom in