Add new PRs to github project

FIX Respect strict-typing of Factory interface #4

Sign in to view logs

Triggered via pull request July 4, 2024 02:34

opened #620

Status Success

Total duration 12s

Artifacts –

add-prs-to-project.yml

on: pull_request_target

Add PR to GitHub Project