Skip to content
static analysis

chore(dafny): Add Update and delete test #5183

Sign in to view logs

chore(dafny): Add Update and delete test

chore(dafny): Add Update and delete test #5183

Triggered via pull request June 16, 2025 22:32
@rishav-karanjitrishav-karanjit
synchronize #1942
rishav/addUpdateDeleteTest
Status Success
Total duration 18s
Artifacts –

ci_static_analysis.yml

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