Skip to content

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

chore(GHA): add backwards interop dafny tests

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

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

sem_ver.yml

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