Merge PRs and Generate Problem Folders

Merge PRs and Generate Problem Folders #49

Sign in to view logs

Manually triggered April 7, 2025 09:40

eric-hjh

main

Status Success

Total duration 19s

Artifacts –

merge-and-generate-problems.yml

on: workflow_dispatch

merge-prs-and-create-folders