Publish snapshots to maven

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to… #595

Sign in to view logs

Triggered via push November 7, 2024 19:09

dbwiddis

2.x

Status Success

Total duration 1m 32s

Artifacts –

publish-snapshots.yml

on: push

build-and-publish-snapshots