Skip to content
Add pull requests and issues to projects

Updating Appendix B (used to be C): Proofs for some results #140

Sign in to view logs

Updating Appendix B (used to be C): Proofs for some results

Updating Appendix B (used to be C): Proofs for some results #140

Triggered via pull request November 3, 2025 14:39
@doerthedoerthe
opened #165
Status Success
Total duration 8s
Artifacts –

add_prs_and_issues_to_project.yml

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