The nightly build runs the same CI as on PRs, but uses the latest nightly Dafny prerelease in place of the configured target version.
This is a recommended best practice for early warning on verification variation on upcoming releases, and to catch potential regressions before they are released.
The nightly build runs the same CI as on PRs, but uses the latest nightly Dafny prerelease in place of the configured target version.
This is a recommended best practice for early warning on verification variation on upcoming releases, and to catch potential regressions before they are released.
Forced this into master on my fork so I could manually run the nightly version: https://github.com/robin-aws/dafny-reportgenerator/actions/runs/4208167715/jobs/7303873778 It does the job nicely since something breaks! It's reasonable to fix that later as the nightly build is intended to be only an early warning and not to block development immediately.