This repository has been archived by the owner on Jan 20, 2024. It is now read-only.

Labelling new pull requests

WIP Reduction support. #146

Sign in to view logs

Triggered via pull request January 4, 2024 19:52

jsjodin

synchronize #252

Status Skipped

Total duration 4s

Artifacts –

new-prs.yml

on: pull_request_target

automate-prs-labels