Nightly test and release workflow #297
robin-awsnightly-build.yml
on: schedule
nightly-build-for-master
/
...
/
populate-matrix-dimensions
2s
nightly-build-for-master
/
determine-vars
8s
Matrix: nightly-build-for-master / deep-integration-tests / test
nightly-build-for-master
/
...
/
publish-release
14m 6s
Annotations
122 warnings
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 6)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 7)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 7)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 8)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 10)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 9)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1):
Source/DafnyCore/AST/Members/Function.cs#L99
'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1):
Source/DafnyCore/AST/Members/Method.cs#L39
'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / deep-integration-tests / test (macos-13, 4)
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / publish-release / publish-release
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / publish-release / publish-release
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / publish-release / publish-release
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / publish-release / publish-release
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
|
nightly-build-for-master / publish-release / publish-release
For projects targeting .NET 8.0 and higher, specifying a RuntimeIdentifier will no longer produce a self contained app by default. To continue building self-contained apps, set the SelfContained property to true or use the --self-contained argument.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
integration-test-results-macos-13-4
Expired
|
1.25 MB |
|
|
nuget-packages
Expired
|
14.9 MB |
|