Nightly test and release workflow #282

Annotations

2 errors and 2 warnings

The job running on runner GitHub Actions 4 has exceeded the maximum execution time of 120 minutes.

The operation was canceled.

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

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.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Nightly test and release workflow #282

nightly-build-for-master / ... / test (macos-latest, 1)

Nightly test and release workflow #282

Jobs

Run details

Annotations

This job failed

Re-running jobs...