Skip to content

Nightly test and release workflow #454

Nightly test and release workflow

Nightly test and release workflow #454

Workflow file for this run

# Scheduled nightly build
#
# Scheduled workflows only ever trigger for the default branch,
# but we need to run nightly jobs on multiple branches.
# This workflow therefore triggers a reusable workflow
# on every branch that needs to be protected with the nightly deep-test mechanism,
# and ensures which ever branch contains the next planned release
# publishes the nightly prerelease.
#
# The if at the beginning of each job terminates the workflow immediately on any repo (like a fork) that is not the main
# dafny-lang/dafny repo. This stops such forks from running this workflow and failing (for lack of a secret) the attempt to
# publish a nightly build themselves.
name: Nightly test and release workflow
on:
schedule:
# Chosen to be hopefully outside of business hours for most contributors'
# time zones, and not on the hour to avoid heavy scheduled-job times:
# https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule
- cron: "30 14 * * *"
workflow_dispatch:
jobs:
nightly-build-for-4-9:
if: github.repository_owner == 'dafny-lang'
uses: ./.github/workflows/nightly-build-reusable.yml
with:
ref: 4.9
publish-prerelease: true
secrets:
nuget_api_key: ${{ secrets.NUGET_API_KEY }}