Skip to content
static analysis

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

Sign in to view logs

chore(dafny): improve performance of searchable encryption

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

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

ci_static_analysis.yml

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