Labelling new pull requests

[CIR] Lower `cir.bool` to i1 #2639

Sign in to view logs

Triggered via pull request January 4, 2025 18:29

orbiri

synchronize #1158

Status Skipped

Total duration 3s

Artifacts –

new-prs.yml

on: pull_request_target

automate-prs-labels