Skip to content

chore(GHA): add backwards interop dafny tests #603

chore(GHA): add backwards interop dafny tests

chore(GHA): add backwards interop dafny tests #603

Triggered via pull request August 16, 2024 00:28
Status Success
Total duration 1m 11s
Artifacts

sem_ver.yml

on: pull_request
semantic-release
59s
semantic-release
Fit to window
Zoom out
Zoom in