Publish snapshots to maven

fix(deps): update dependency org.dafny:dafnyruntime to v4.8.0 (#866) #543

Sign in to view logs

Triggered via push September 30, 2024 19:36

dbwiddis

main

Status Success

Total duration 1m 31s

Artifacts –

publish-snapshots.yml

on: push

build-and-publish-snapshots