Release v3.4.2 (updated Dafny to 4.9.0) #1354

Sign in to view logs

Triggered via pull request October 31, 2024 03:55

MikaelMayer

opened #507

release-3.4.2

Status Success

Total duration 1m 30s

Artifacts 1

ci.yaml

on: pull_request

release-marketplace

Artifacts

Produced during runtime

Name	Size
package	621 KB