Skip to content
Merge PRs and Generate Problem Folders

Merge PRs and Generate Problem Folders #47

Sign in to view logs

Merge PRs and Generate Problem Folders

Merge PRs and Generate Problem Folders #47

Manually triggered April 7, 2025 09:33
@eric-hjheric-hjh
⁠ 3f57c0b
main
Status Success
Total duration 17s
Artifacts –

merge-and-generate-problems.yml

on: workflow_dispatch
merge-prs-and-create-folders
13s
merge-prs-and-create-folders
Fit to window
Zoom out
Zoom in