Skip to content
static analysis

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

Sign in to view logs

chore(dafny): improve performance of searchable encryption

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

Triggered via pull request June 4, 2025 13:47
@ajewellamzajewellamz
opened #1931
ajewell/beacon-performance
Status Success
Total duration 26s
Artifacts –

ci_static_analysis.yml

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