Nightly test and release workflow #570
Triggered via schedule
February 24, 2025 14:35
keyboardDrummer
Status
Success
Total duration
1h 10m 24s
Artifacts
31
nightly-build.yml
on: schedule
nightly-build-for-master
/
...
/
populate-matrix-dimensions
0s
nightly-build-for-master
/
determine-vars
6s
Matrix: nightly-build-for-master / deep-integration-tests / test
nightly-build-for-master
/
...
/
publish-release
12m 26s
Annotations
26 warnings
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 5)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 4)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 1)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 2)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 6)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 3)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 10)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 9)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 7)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|
|
nightly-build-for-master / deep-integration-tests / test (ubuntu-20.04, 8)
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L30
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L37
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L30
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L37
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L30
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L37
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L30
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L37
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L30
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L37
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L30
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L37
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L30
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L37
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L30
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
|
nightly-build-for-master / publish-release / publish-release:
Source/DafnyCore/AST/TypeDeclarations/Declaration.cs#L37
Non-nullable field 'enclosingModuleName' must contain a non-null value when exiting constructor. Consider adding the 'required' modifier or declaring the field as nullable.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
integration-test-results-macos-13-1
|
1.37 MB |
|
|
integration-test-results-macos-13-10
|
1.37 MB |
|
|
integration-test-results-macos-13-2
|
1.38 MB |
|
|
integration-test-results-macos-13-3
|
1.37 MB |
|
|
integration-test-results-macos-13-4
|
1.37 MB |
|
|
integration-test-results-macos-13-5
|
1.36 MB |
|
|
integration-test-results-macos-13-6
|
1.37 MB |
|
|
integration-test-results-macos-13-7
|
1.37 MB |
|
|
integration-test-results-macos-13-8
|
1.37 MB |
|
|
integration-test-results-macos-13-9
|
1.37 MB |
|
|
integration-test-results-ubuntu-20.04-1
|
1.37 MB |
|
|
integration-test-results-ubuntu-20.04-10
|
1.37 MB |
|
|
integration-test-results-ubuntu-20.04-2
|
1.38 MB |
|
|
integration-test-results-ubuntu-20.04-3
|
1.37 MB |
|
|
integration-test-results-ubuntu-20.04-4
|
1.37 MB |
|
|
integration-test-results-ubuntu-20.04-5
|
1.36 MB |
|
|
integration-test-results-ubuntu-20.04-6
|
1.37 MB |
|
|
integration-test-results-ubuntu-20.04-7
|
1.37 MB |
|
|
integration-test-results-ubuntu-20.04-8
|
1.37 MB |
|
|
integration-test-results-ubuntu-20.04-9
|
1.37 MB |
|
|
integration-test-results-windows-2019-1
|
42.8 KB |
|
|
integration-test-results-windows-2019-10
|
1.36 MB |
|
|
integration-test-results-windows-2019-2
|
1.38 MB |
|
|
integration-test-results-windows-2019-3
|
1.36 MB |
|
|
integration-test-results-windows-2019-4
|
1.36 MB |
|
|
integration-test-results-windows-2019-5
|
1.36 MB |
|
|
integration-test-results-windows-2019-6
|
1.36 MB |
|
|
integration-test-results-windows-2019-7
|
1.36 MB |
|
|
integration-test-results-windows-2019-8
|
1.36 MB |
|
|
integration-test-results-windows-2019-9
|
1.36 MB |
|
|
nuget-packages
|
11.5 MB |
|