Skip to content
Merged

Dev #44

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
2 changes: 1 addition & 1 deletion .github/workflows/release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ jobs:
name: Create GitHub Release
needs: build
runs-on: ubuntu-latest
if: github.event_name == 'push'
if: github.event_name != 'workflow_dispatch'

Copilot AI Mar 22, 2026

Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The condition github.event_name != 'workflow_dispatch' is equivalent to github.event_name == 'release' for this workflow and is less explicit/future-proof (if additional triggers are added later, this job may start running unexpectedly). Prefer an allow-list check like github.event_name == 'release' (or checking github.event.action == 'published') to make the intent clear.

Suggested change
if: github.event_name != 'workflow_dispatch'
if: github.event_name == 'release'

Copilot uses AI. Check for mistakes.
permissions:
contents: write

Expand Down
Loading