Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 10 additions & 3 deletions .github/workflows/nightly.yml
Original file line number Diff line number Diff line change
Expand Up @@ -52,6 +52,13 @@ jobs:

# Everything below runs only in a workflow_dispatch run — the scheduled re-dispatch or a
# manual one — which executes from the dispatched ref (dev for the scheduled path).
#
# Each checkout resolves that ref EXPLICITLY rather than pinning `ref: dev`. Three of these
# were pinned, so a manual dispatch onto any other branch published dev's artifacts while
# reporting the dispatched ref as the run's head SHA — the run, the API and the release page
# all named a branch that was not what got built. That is worse than simply ignoring the
# input, because the mismatch is invisible: it surfaced as a release-candidate build stamping
# the PREVIOUS version, which is only noticeable if you happen to read the artifact name.
check:
if: github.event_name == 'workflow_dispatch'
runs-on: ubuntu-latest
Expand All @@ -61,7 +68,7 @@ jobs:
steps:
- uses: actions/checkout@v7
with:
ref: dev
ref: ${{ github.event_name == 'workflow_dispatch' && github.ref_name || 'dev' }}
fetch-depth: 0

- name: Check for new commits in last 24 hours
Expand Down Expand Up @@ -91,7 +98,7 @@ jobs:
steps:
- uses: actions/checkout@v7
with:
ref: dev
ref: ${{ github.event_name == 'workflow_dispatch' && github.ref_name || 'dev' }}

- name: Setup .NET 10.0
uses: actions/setup-dotnet@v6
Expand Down Expand Up @@ -424,7 +431,7 @@ jobs:
steps:
- uses: actions/checkout@v7
with:
ref: dev
ref: ${{ github.event_name == 'workflow_dispatch' && github.ref_name || 'dev' }}

- name: Setup .NET 10.0
uses: actions/setup-dotnet@v6
Expand Down
Loading