Skip to content
Add pull requests and issues to projects

Changes symbols L, P, P_1, and P_2 in 'Evaluation Semantics' section #297

Sign in to view logs

Changes symbols L, P, P_1, and P_2 in 'Evaluation Semantics' section

Changes symbols L, P, P_1, and P_2 in 'Evaluation Semantics' section #297

Triggered via pull request January 17, 2026 16:18
@hartighartig
opened #347
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