Skip to content
static analysis

chore(dafny): improve performance of searchable encryption (#1931) #5051

Sign in to view logs

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

chore(dafny): improve performance of searchable encryption (#1931) #5051

Triggered via push June 5, 2025 01:25
@ajewellamzajewellamz
pushed 8b71004
main
Status Success
Total duration 26s
Artifacts –

ci_static_analysis.yml

on: push
not-grep
19s
not-grep
Fit to window
Zoom out
Zoom in