Skip to content
Check {:only} decorator presence

chore(dafny): change nat to uint64 in many places #1110

Sign in to view logs

chore(dafny): change nat to uint64 in many places

chore(dafny): change nat to uint64 in many places #1110

Triggered via pull request May 2, 2025 05:17
@ajewellamzajewellamz
synchronize #1852
ajewell/bump-mpl2
Status Success
Total duration 14s
Artifacts –

check_only_key_word.yml

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