Last run of nightly-build.yml did not succeed: https://github.com/dafny-lang/dafny/actions/runs/18595994595 At the time of checking, no fix was underway. - Please first check https://github.com/dafny-lang/dafny/actions/workflows/nightly-build.yml . If you see any queued or in progress run on nightly-build.yml, just re-run this test once it is finished.- If not, and you are a Dafny developer, please fix the issue by creating a PR with the label [run-deep-tests], have it reviewed and merged, and then trigger the workflow on nightly-build.yml with the URL https://github.com/dafny-lang/dafny/actions/workflows/nightly-build.yml . With such a label, you can merge a PR even if tests are not successful, but make sure the deeps one are! If you do not have any clue on how to fix it, at worst you can revert all PRs from the last successful run and indicate the authors they need to re-file their PRs and add the label [run-deep-tests] to their PRs

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

Process completed with exit code 1.

No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml dafny/DafnyLanguageServer.Test.coverage. No artifacts will be uploaded.

A stable release of a package should not have a prerelease dependency. Either modify the version spec of dependency "System.CommandLine

The type name 'nat' only contains lower-cased ascii characters. Such names may become reserved for the language.