[ci] Automatically add "solved" label and correct milestone to issue when PR is merged #252

Activity

1. github-actions

   added

   needs triageNeeds triage from the Filigran product team.Needs triage from the Filigran product team.

   on May 21, 2026
2. Nicolas Carenton (ncarenton)

   self-assigned this

   on May 21, 2026
3. Nicolas Carenton (ncarenton)

   added

   tech foundationLinked to tech foundation.Linked to tech foundation.

   and removed

   needs triageNeeds triage from the Filigran product team.Needs triage from the Filigran product team.

   on May 21, 2026
4. Nicolas Carenton (ncarenton)

   closed this as completedin #253on May 21, 2026
5. github-actions

   added

   solvedResolved (should be linked to the solving PR).Resolved (should be linked to the solving PR).

   on May 21, 2026