Skip to content

fix: Include arguments to Go external constructor #19193

fix: Include arguments to Go external constructor

fix: Include arguments to Go external constructor #19193

Triggered via pull request October 9, 2024 10:24
Status Failure
Total duration 28m 2s
Artifacts 5

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
5s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
0s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
xunit-tests / populate-matrix-dimensions
singletons
0s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
Waiting for pending jobs
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-deep-tests / check-deep-tests
Last run of nightly-build.yml did not succeed: https://github.com/dafny-lang/dafny/actions/runs/11237776009

Artifacts

Produced during runtime
Name Size Digest
integration-test-results-ubuntu-20.04-1 Expired
1.66 MB
sha256:279732e0f1a0bfcb5b20c934026c054b03a1abef7e1576834326de4cafca829b
integration-test-results-ubuntu-20.04-2 Expired
1.64 MB
sha256:90c23bb39f4d863d7778248f14666fcda237a9c5312dfbb9449410a6485ccbe6
integration-test-results-ubuntu-20.04-3 Expired
1.65 MB
sha256:ab85d634577cb3417f0c43f5dc6c6fe719bcffc6dcdc7f7d614c6b84575cb13e
integration-test-results-ubuntu-20.04-4 Expired
1.65 MB
sha256:f51d8720d527da7823008d46b9bcd0471759e23e39339761b7c50cfccdc40165
integration-test-results-ubuntu-20.04-5 Expired
1.66 MB
sha256:89b7e43e121d118d62ff8c508ad83b6ca886320784a0b3317678ab7efab4612b