Skip to content

chore: verify with Dafny 4.6 #220

chore: verify with Dafny 4.6

chore: verify with Dafny 4.6 #220

Triggered via pull request May 30, 2024 19:12
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