Skip to content
Add pull requests and issues to projects

Updating Appendix "Proofs of some results" for more results #141

Sign in to view logs

Updating Appendix "Proofs of some results" for more results

Updating Appendix "Proofs of some results" for more results #141

Triggered via pull request November 11, 2025 10:57
@franconifranconi
opened #166
Status Success
Total duration 6s
Artifacts –

add_prs_and_issues_to_project.yml

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