Skip to content
Add pull requests and issues to projects

Fixes correctness of Appendix A (from issue #139) #135

Sign in to view logs

Fixes correctness of Appendix A (from issue #139)

Fixes correctness of Appendix A (from issue #139) #135

Triggered via pull request October 2, 2025 13:32
@franconifranconi
opened #160
Status Success
Total duration 8s
Artifacts –

add_prs_and_issues_to_project.yml

on: pull_request_target
Add PR and issues to project
4s
Add PR and issues to project
Fit to window
Zoom out
Zoom in