Check {:only} decorator presence

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

Sign in to view logs

Triggered via pull request January 27, 2025 19:36

opened #1598

rkapila/fix-dafny-interop-workflow

Status Success

Total duration 16s

Artifacts –

check_only_key_word.yml

on: pull_request

grep-only-verification-keyword