Skip to content
Add pull requests and issues to projects

Checking and updating Appendix C "Proofs of some results" #137

Sign in to view logs

Checking and updating Appendix C "Proofs of some results"

Checking and updating Appendix C "Proofs of some results" #137

Triggered via issue October 9, 2025 15:28
@franconifranconi
opened #162 07319e5
Status Success
Total duration 2m 54s
Artifacts –

add_prs_and_issues_to_project.yml

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