Skip to content

Commit

Permalink
Merge branch 'topic/gnatkptemp' into 'master'
Browse files Browse the repository at this point in the history
Change gnatkp labels according to new categorization

See merge request eng/libadalang/langkit-query-language!206
  • Loading branch information
raph-amiard committed Apr 24, 2024
2 parents d428a01 + ca59bce commit e3872d8
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .gitlab/issue_templates/gnatkp_detector.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,4 +2,5 @@ KP detector for [impactdb origin]

Corresponding impactdb entry: eng/it/impact-db#[impactdb issue]

/label ~"Category::kpdetector"
/label ~"Area::kpdetector"
/label ~"Category::Enhancement"

0 comments on commit e3872d8

Please sign in to comment.