Label PR areas

Remove Tools/BoogieToStrata #2689

Sign in to view logs

Triggered via pull request June 4, 2026 23:16

atomb

opened #1329

Status Success

Total duration 16s

Artifacts –

label-areas.yml

on: pull_request_target