Feat code actions forall calc · dafny-lang/dafny@25090ef

Triggered via pull request January 11, 2025 03:02

synchronize #6044

Status Success

Total duration 2m 39s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:d2c0a52d48a4a2d4c6e71a7acd09a587d707e97bf85165885fdb6442c062621f`