Skip to content
static analysis

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

Sign in to view logs

chore(dafny): improve performance of searchable encryption

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

Triggered via pull request June 4, 2025 19:09
@ajewellamzajewellamz
synchronize #1931
ajewell/beacon-performance
Status Success
Total duration 28s
Artifacts –

ci_static_analysis.yml

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