Semantic Release Test Installation

feat: bump to dafny 4.8.0 and mpl 1.6.0 #736

Sign in to view logs

Triggered via pull request September 13, 2024 19:07

josecorella

synchronize #1356

jocorell/bump-dafny-mpl

Status Success

Total duration 2m 0s

Artifacts –

sem_ver.yml

on: pull_request

semantic-release