Skip to content
Back to pull request #5820

Fix GoLang issue when module and datatype names collide #19196

Sign in to view logs

Fix GoLang issue when module and datatype names collide

Fix GoLang issue when module and datatype names collide #19196

Triggered via pull request October 9, 2024 15:11
@keyboardDrummerkeyboardDrummer
synchronize #5820
keyboardDrummer:goModuleAndDatatypeNameCollision
Status Failure
Total duration 53m 24s
Artifacts 8

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
9s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
5s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
0s
xunit-tests / populate-matrix-dimensions
singletons
3m 35s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

45 errors
singletons
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 3)
cannot find package "Math" in any of:
integration-tests / test (ubuntu-20.04, 3)
cannot find package "Math" in any of:
integration-tests / test (ubuntu-20.04, 3)
cannot find package "Math" in any of:
integration-tests / test (ubuntu-20.04, 3)
cannot find package "Math" in any of:
integration-tests / test (ubuntu-20.04, 3)
package DafnyModule1 is not in std (/opt/hostedtoolcache/go/1.21.13/x64/src/DafnyModule1)
integration-tests / test (ubuntu-20.04, 3)
package DafnyModule1 is not in std (/opt/hostedtoolcache/go/1.21.13/x64/src/DafnyModule1)
integration-tests / test (ubuntu-20.04, 3)
package DafnyModule1 is not in std (/opt/hostedtoolcache/go/1.21.13/x64/src/DafnyModule1)
integration-tests / test (ubuntu-20.04, 3)
package DafnyModule1 is not in std (/opt/hostedtoolcache/go/1.21.13/x64/src/DafnyModule1)
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 1)
undefined: _System
integration-tests / test (ubuntu-20.04, 1)
undefined: _System
integration-tests / test (ubuntu-20.04, 1)
undefined: _System
integration-tests / test (ubuntu-20.04, 1)
undefined: _System
integration-tests / test (ubuntu-20.04, 1)
undefined: _System
integration-tests / test (ubuntu-20.04, 1)
undefined: _System
integration-tests / test (ubuntu-20.04, 1)
undefined: _System
integration-tests / test (ubuntu-20.04, 1)
undefined: _System
integration-tests / test (ubuntu-20.04, 1)
undefined: _System
integration-tests / test (ubuntu-20.04, 1)
undefined: _System
integration-tests / test (ubuntu-20.04, 2)
undefined: PriorityQueue__extrinsic
integration-tests / test (ubuntu-20.04, 2)
undefined: PriorityQueue__extrinsic
integration-tests / test (ubuntu-20.04, 2)
undefined: PriorityQueue__extrinsic
integration-tests / test (ubuntu-20.04, 2)
undefined: PriorityQueue__extrinsic
integration-tests / test (ubuntu-20.04, 2)
undefined: PriorityQueue__extrinsic
integration-tests / test (ubuntu-20.04, 2)
undefined: PriorityQueue__extrinsic
integration-tests / test (ubuntu-20.04, 2)
undefined: PriorityQueue__extrinsic
integration-tests / test (ubuntu-20.04, 2)
undefined: PriorityQueue__extrinsic
integration-tests / test (ubuntu-20.04, 2)
undefined: PriorityQueue__extrinsic
integration-tests / test (ubuntu-20.04, 2)
undefined: PriorityQueue__extrinsic
integration-tests / test (ubuntu-20.04, 4)
undefined: _System
integration-tests / test (ubuntu-20.04, 4)
undefined: _System
integration-tests / test (ubuntu-20.04, 4)
undefined: _System
integration-tests / test (ubuntu-20.04, 4)
undefined: _System
integration-tests / test (ubuntu-20.04, 4)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 5)
undefined: _System
integration-tests / test (ubuntu-20.04, 5)
undefined: _System
integration-tests / test (ubuntu-20.04, 5)
undefined: _System
integration-tests / test (ubuntu-20.04, 5)
undefined: _System
integration-tests / test (ubuntu-20.04, 5)
undefined: _System
integration-tests / test (ubuntu-20.04, 5)
undefined: _System
integration-tests / test (ubuntu-20.04, 5)
undefined: _System
integration-tests / test (ubuntu-20.04, 5)
undefined: _System
integration-tests / test (ubuntu-20.04, 5)
undefined: _System
integration-tests / test (ubuntu-20.04, 5)
undefined: _System

Artifacts

Produced during runtime
Name Size
integration-test-results-ubuntu-20.04-1
1.67 MB
integration-test-results-ubuntu-20.04-2
1.65 MB
integration-test-results-ubuntu-20.04-3
1.66 MB
integration-test-results-ubuntu-20.04-4
1.66 MB
integration-test-results-ubuntu-20.04-5
1.67 MB
unit-test-results-macos-13
9.38 MB
unit-test-results-ubuntu-20.04
9.41 MB
unit-test-results-windows-2019
9.37 MB