Build and Test

Per backend code support in stdlibs #437

Sign in to view logs

Triggered via pull request November 16, 2023 23:05

robin-aws

synchronize #36

per-backend-code-support-in-stdlibs

Status Cancelled

Total duration 21m 15s

Artifacts 4

msbuild.yml

on: pull_request

check-deep-tests / check-deep-tests

Matrix: xunit-tests / build

integration-tests / populate-matrix-dimensions

Matrix: integration-tests / test

test-coverage-analysis

Annotations

3 errors

The file '/home/runner/work/dafny/dafny/dafny/Binaries/net6.0/DafnyDriver.runtimeconfig.json' to be packed was not found on disk.

Process completed with exit code 1.

xunit-tests / osx

Process completed with exit code 1.

Artifacts

Produced during runtime

Name	Size
integration-test-results-ubuntu-20.04 Expired	112 MB
unit-test-results-macos-11 Expired	20.8 MB
unit-test-results-ubuntu-20.04 Expired	121 MB
unit-test-results-windows-2019 Expired	123 MB