feat: Method calls with a by-proof · dafny-lang/dafny@949bea6

Re-run triggered August 12, 2024 15:10

fabiomadge

#5662

Status Success

Total duration 18m 49s

Artifacts 10

msbuild.yml

on: pull_request

Matrix: integration-tests / test

Matrix: xunit-tests / build

Produced during runtime

Name	Size
test-coverage-results	28.9 MB
unit-test-results-windows-2019	9.1 MB