chore(ci): record pr details upon labeling

heitorlessa · rubenfonseca · commit 4de9f0ec3ebe · 2022-09-13T12:31:34.000+02:00
diff --git a/.github/workflows/record_pr.yml b/.github/workflows/record_pr.yml
@@ -2,7 +2,7 @@ name: Record PR details
 
 on:
   pull_request:
-    types: [opened, edited, closed]
+    types: [opened, edited, closed, labeled]
 
 jobs:
   record_pr:
