Skip to content
Semantic Release Test Installation

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

Sign in to view logs

chore(dafny): Add Update and delete test

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

Triggered via pull request June 17, 2025 00:11
@rishav-karanjitrishav-karanjit
synchronize #1942
rishav/addUpdateDeleteTest
Status Success
Total duration 1m 45s
Artifacts –

sem_ver.yml

on: pull_request
semantic-release
1m 39s
semantic-release
Fit to window
Zoom out
Zoom in