Skip to content
Nightly test and release workflow

Nightly test and release workflow #716

Sign in to view logs

Nightly test and release workflow

Nightly test and release workflow #716

Triggered via schedule July 10, 2025 14:38
@keyboardDrummerkeyboardDrummer
⁠ 73878d4
master
Status Startup failure
Total duration –
Artifacts –

nightly-build.yml

on: schedule
nightly-build-for-4-11-0  /  ...  /  populate-matrix-dimensions
nightly-build-for-4-11-0 / deep-integration-tests / populate-matrix-dimensions
nightly-build-for-4-11-0  /  determine-vars
nightly-build-for-4-11-0 / determine-vars
Matrix: nightly-build-for-4-11-0 / deep-integration-tests / test
Waiting for pending jobs
nightly-build-for-4-11-0  /  ...  /  publish-release
nightly-build-for-4-11-0 / publish-release / publish-release
Fit to window
Zoom out
Zoom in

Annotations

1 error
Invalid workflow file: .github/workflows/nightly-build.yml#L52
The workflow is not valid. In dafny-lang/dafny/.github/workflows/nightly-build-reusable.yml@73878d4f8c410e64293327fc9a54ff1272ba7664 (Line: 52, Col: 11): Error from called workflow dafny-lang/dafny/.github/workflows/publish-release-reusable.yml@73878d4f8c410e64293327fc9a54ff1272ba7664 (Line: 148, Col: 11): Unrecognized named-value: 'prerelease'. Located at position 1 within expression: prerelease In dafny-lang/dafny/.github/workflows/nightly-build-reusable.yml@73878d4f8c410e64293327fc9a54ff1272ba7664 (Line: 52, Col: 11): Error from called workflow dafny-lang/dafny/.github/workflows/publish-release-reusable.yml@73878d4f8c410e64293327fc9a54ff1272ba7664 (Line: 182, Col: 11): Unrecognized named-value: 'prerelease'. Located at position 1 within expression: prerelease