Skip to content
Check {:only} decorator presence

chore(dafny): improve performance of searchable encryption #1528

Sign in to view logs

chore(dafny): improve performance of searchable encryption

chore(dafny): improve performance of searchable encryption #1528

Triggered via pull request June 4, 2025 18:58
@ajewellamzajewellamz
synchronize #1931
ajewell/beacon-performance
Status Success
Total duration 11s
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