Nightly test and release workflow

Nightly test and release workflow #297

Annotations

9 warnings

Source/DafnyCore/AST/Members/Function.cs#L99

'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.

Source/DafnyCore/AST/Members/Method.cs#L39

'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.

Source/DafnyCore/AST/Members/Function.cs#L99

'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.

Source/DafnyCore/AST/Members/Method.cs#L39

'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.

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.

Source/DafnyCore/AST/Members/Function.cs#L99

'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.

Source/DafnyCore/AST/Members/Method.cs#L39

'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.

Source/DafnyCore/AST/Members/Function.cs#L99

'Function.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.

Source/DafnyCore/AST/Members/Method.cs#L39

'Method.Reads' hides inherited member 'MethodOrFunction.Reads'. Use the new keyword if hiding was intended.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Nightly test and release workflow #297

nightly-build-for-master / ... / test (ubuntu-20.04, 7)

Nightly test and release workflow #297

Jobs

Run details

Annotations

This job succeeded

Re-running jobs...