fix: rename Priority field to PriorityDef to avoid redeclaration #517

Merged
jmiller merged 1 commits from feat/509-issue-priority into dev 2026-06-06 17:00:10 +00:00
Owner

Fix build error - Issue struct already has a Priority int field.

Fix build error - Issue struct already has a Priority int field.
jmiller added 1 commit 2026-06-06 16:59:59 +00:00
fix: rename Priority field to PriorityDef to avoid redeclaration
Generic: Repo Health / Site Health (push) Has been skipped
Generic: Repo Health / Access control (push) Successful in 1s
Generic: Repo Health / Site Health (pull_request) Has been skipped
Branch Policy Check / Verify merge target (pull_request) Successful in 2s
Universal: PR Check / Branch Policy (pull_request) Successful in 2s
Generic: Repo Health / Access control (pull_request) Successful in 2s
PR RC Release / Build RC Release (pull_request) Successful in 4s
Universal: PR Check / Validate PR (pull_request) Failing after 8s
Branch Cleanup / Delete merged branch (pull_request) Successful in 1s
Universal: Pre-Release / Build Pre-Release (${{ inputs.stability || 'development' }}) (pull_request) Failing after 18s
Generic: Repo Health / Scripts governance (push) Has been cancelled
Generic: Repo Health / Repository health (push) Has been cancelled
Generic: Repo Health / Report Issues (push) Has been cancelled
Universal: PR Check / Build RC Package (pull_request) Has been cancelled
Universal: PR Check / Report Issues (pull_request) Has been cancelled
Generic: Repo Health / Scripts governance (pull_request) Has been cancelled
Generic: Repo Health / Repository health (pull_request) Has been cancelled
Generic: Repo Health / Report Issues (pull_request) Has been cancelled
e2e80de6fa
The Issue struct already has a Priority int field at line 74.
jmiller merged commit 1ffe31e360 into dev 2026-06-06 17:00:10 +00:00
jmiller deleted branch feat/509-issue-priority 2026-06-06 17:00:10 +00:00
Sign in to join this conversation.