Semantic Release Test Installation

feat: update codegen to Dafny 4.7.0 #474

Sign in to view logs

Triggered via pull request July 18, 2024 23:37

josecorella

opened #1203

jocorell/dafny-47

Status Success

Total duration 1m 11s

Artifacts –

sem_ver.yml

on: pull_request

semantic-release