ci: run checks on PRs and gate deploy to main merges #65
No reviewers
Labels
No labels
bug
documentation
duplicate
enhancement
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
gertjan/bodega!65
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "ci/pr-workflow"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
First PR landing via the new PR-based workflow.
checkjob now also triggers onpull_request-> main (lint/typecheck/tests/audit validate before merge).deployjob gated topushon main, so PRs never deploy — only a squash-merge does.Branch protection (no direct pushes to main, required
checkstatus) and squash-only merge are now enabled on the repo.