Add pull requests and issues to projects

Fixes typo in evaluation semantics of ToMultiSet #164

Sign in to view logs

Triggered via pull request May 5, 2025 06:48

hartig

opened #214

Status Success

Total duration 11s

Artifacts –

add_prs_and_issues_to_project.yml

on: pull_request_target

Add PR and issues to project