Skip to content
Daily soak test workflow

Daily soak test workflow #131

Sign in to view logs

Daily soak test workflow

Daily soak test workflow #131

Triggered via schedule September 9, 2024 03:33
@robin-awsrobin-aws
⁠ 798618b
master
Status Failure
Total duration 15m 33s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

daily-soak-test-build.yml

on: schedule
daily-soak-build-for-master  /  populate-matrix-dimensions
0s
daily-soak-build-for-master / populate-matrix-dimensions
Matrix: daily-soak-build-for-master / build
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 75 warnings
daily-soak-build-for-master / ubuntu-20.04 (2)
Process completed with exit code 1.
daily-soak-build-for-master / win (2)
Process completed with exit code 1.
daily-soak-build-for-master / win (5)
Process completed with exit code 1.
daily-soak-build-for-master / win (1)
Process completed with exit code 1.
daily-soak-build-for-master / ubuntu-20.04 (4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (4): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / ubuntu-20.04 (4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (4): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / ubuntu-20.04 (4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (5): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / ubuntu-20.04 (5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (5): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / ubuntu-20.04 (5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (3): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / ubuntu-20.04 (3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (3): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / ubuntu-20.04 (3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (1): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / ubuntu-20.04 (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (1): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / ubuntu-20.04 (2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (2): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / ubuntu-20.04 (2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / ubuntu-20.04 (2): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / ubuntu-20.04 (2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (2): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / win (2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (2): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / win (2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (4): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / osx (4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (4): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / win (5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (5): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / win (5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (5): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / osx (5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (5): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / osx (5): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (5): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / win (4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (4): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / win (4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (4): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / win (4): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (3): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / win (3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (3): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / osx (2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (2): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / osx (2): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (2): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / win (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (1): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / win (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / win (1): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / osx (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (1): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / osx (1): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (1): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / osx (3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (3): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
daily-soak-build-for-master / osx (3): Source/DafnyCore/Backends/BoogieExtractor.cs#L190
Converting null literal or possible null value to non-nullable type.
daily-soak-build-for-master / osx (3): Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)