Labelling new pull requests

[SOL] Use the value size for lowering arguments #79

Sign in to view logs

Triggered via pull request January 30, 2025 19:49

LucasSte

opened #133

Status Skipped

Total duration 3s

Artifacts –

new-prs.yml

on: pull_request_target

automate-prs-labels