Merge PRs and Generate Problem Folders

Merge PRs and Generate Problem Folders #48

Sign in to view logs

Manually triggered April 7, 2025 09:35

eric-hjh

main

Status Success

Total duration 16s

Artifacts –

merge-and-generate-problems.yml

on: workflow_dispatch

merge-prs-and-create-folders