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

Labelling new pull requests

WIP Reduction support. #145

Sign in to view logs

Triggered via pull request January 4, 2024 16:57

jsjodin

synchronize #252

Status Skipped

Total duration 3s

Artifacts –

new-prs.yml

on: pull_request_target

automate-prs-labels