Skip to content
Nightly test and release workflow

Nightly test and release workflow #461

Sign in to view logs

Nightly test and release workflow

Nightly test and release workflow #461

Triggered via schedule November 12, 2024 14:35
@keyboardDrummerkeyboardDrummer
⁠ e7a9db1
master
Status Success
Total duration 1h 51m 41s
Artifacts 31

nightly-build.yml

on: schedule
nightly-build-for-master  /  ...  /  populate-matrix-dimensions
1s
nightly-build-for-master / deep-integration-tests / populate-matrix-dimensions
nightly-build-for-master  /  determine-vars
4s
nightly-build-for-master / determine-vars
Matrix: nightly-build-for-master / deep-integration-tests / test
nightly-build-for-master  /  ...  /  publish-release
16m 34s
nightly-build-for-master / publish-release / publish-release
Fit to window
Zoom out
Zoom in

Annotations

145 warnings
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 4): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 4): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 7): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 6): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 3): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 2): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 4): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 4): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 3): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 3): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 2): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 2): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 10): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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 (windows-2019, 10): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 4): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 4): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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 / deep-integration-tests / test (macos-13, 4): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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 (macos-13, 2): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 2): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 2): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 8): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 5): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 5): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 6): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 6): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 3): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 3): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 3): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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 (windows-2019, 7): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 7): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (windows-2019, 9): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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 (macos-13, 10): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 10): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 10): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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 (macos-13, 5): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 5): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 5): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 7): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 7): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 8): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 8): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 8): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 9): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 9): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 9): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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 (macos-13, 6): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / deep-integration-tests / test (macos-13, 6): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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, 6): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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: Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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: Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
nightly-build-for-master / publish-release / publish-release: Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
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: Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.

Artifacts

Produced during runtime
Name Size
integration-test-results-macos-13-1
1.33 MB
integration-test-results-macos-13-10
1.33 MB
integration-test-results-macos-13-2
1.33 MB
integration-test-results-macos-13-3
1.33 MB
integration-test-results-macos-13-4
1.33 MB
integration-test-results-macos-13-5
1.33 MB
integration-test-results-macos-13-6
1.33 MB
integration-test-results-macos-13-7
1.33 MB
integration-test-results-macos-13-8
1.33 MB
integration-test-results-macos-13-9
1.33 MB
integration-test-results-ubuntu-20.04-1
1.33 MB
integration-test-results-ubuntu-20.04-10
1.33 MB
integration-test-results-ubuntu-20.04-2
1.33 MB
integration-test-results-ubuntu-20.04-3
1.33 MB
integration-test-results-ubuntu-20.04-4
1.33 MB
integration-test-results-ubuntu-20.04-5
1.33 MB
integration-test-results-ubuntu-20.04-6
1.33 MB
integration-test-results-ubuntu-20.04-7
1.34 MB
integration-test-results-ubuntu-20.04-8
1.33 MB
integration-test-results-ubuntu-20.04-9
1.33 MB
integration-test-results-windows-2019-1
1.33 MB
integration-test-results-windows-2019-10
1.33 MB
integration-test-results-windows-2019-2
1.33 MB
integration-test-results-windows-2019-3
1.33 MB
integration-test-results-windows-2019-4
1.33 MB
integration-test-results-windows-2019-5
1.33 MB
integration-test-results-windows-2019-6
1.33 MB
integration-test-results-windows-2019-7
43.1 KB
integration-test-results-windows-2019-8
1.33 MB
integration-test-results-windows-2019-9
1.33 MB
nuget-packages
11.3 MB