Add new PRs to github project

FIX Don't strip `<header>` tag from `HTMLValue` #13

Sign in to view logs

Triggered via pull request July 7, 2024 22:01

opened #11302

Status Success

Total duration 14s

Artifacts –

add-prs-to-project.yml

on: pull_request_target

Add PR to GitHub Project