Skip to content
Add pull requests and issues to projects

Formal definition of the evaluation of EXISTS expressions #275

Sign in to view logs

Formal definition of the evaluation of EXISTS expressions

Formal definition of the evaluation of EXISTS expressions #275

Triggered via pull request December 12, 2025 12:09
@hartighartig
opened #325
Status Success
Total duration 10s
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