Add pr-pull label to merge

Add `dgen` formula #307

Sign in to view logs

Triggered via pull request February 24, 2025 17:05

0risc

labeled #159

0risc:dgen

Status Success

Total duration 13s

Artifacts –

require-pr-pull.yml

on: pull_request

check-for-label