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

Labelling new pull requests

WIP Reduction support. #154

Sign in to view logs

Triggered via pull request January 6, 2024 16:57

jsjodin

synchronize #252

Status Skipped

Total duration 2s

Artifacts –

new-prs.yml

on: pull_request_target

automate-prs-labels