Add new PRs to github project

FIX Respect strict-typing of Factory interface #4

Sign in to view logs

Triggered via pull request July 8, 2024 22:16

opened #108

Status Success

Total duration 11s

Artifacts –

add-prs-to-project.yml

on: pull_request_target

Add PR to GitHub Project