Macos13and updated boogie #18617
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
8s
singletons
1m 34s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
9 errors and 40 warnings
singletons
Process completed with exit code 2.
|
xunit-tests / ubuntu-20.04 (1)
Process completed with exit code 1.
|
xunit-tests / win (1)
Process completed with exit code 1.
|
xunit-tests / osx (1)
Process completed with exit code 1.
|
integration-tests / test (ubuntu-20.04, 2)
Process completed with exit code 1.
|
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 1.
|
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 1.
|
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 1.
|
integration-tests / test (ubuntu-20.04, 4)
Process completed with exit code 1.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 5)
The type name 'nativeint' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 5)
The type name 'nat' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 5)
The type name 'nativeint' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 5)
The type name 'nat' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 5)
The type name 'nativeint' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 5)
The type name 'nat' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 5)
The type name 'nativeint' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 5)
The type name 'nat' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L182
The type name 'digit' only contains lower-cased ascii characters. Such names may become reserved for the language.
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
integration-test-results-ubuntu-20.04-1
Expired
|
302 KB |
|
integration-test-results-ubuntu-20.04-2
Expired
|
2.46 MB |
|
integration-test-results-ubuntu-20.04-3
Expired
|
299 KB |
|
integration-test-results-ubuntu-20.04-4
Expired
|
285 KB |
|
integration-test-results-ubuntu-20.04-5
Expired
|
2.51 MB |
|
unit-test-results-macos-13
Expired
|
6.91 MB |
|
unit-test-results-ubuntu-20.04
Expired
|
6.94 MB |
|
unit-test-results-windows-2019
Expired
|
6.91 MB |
|