Skip to content

Merge #53 "Submission should not be able to be deleted if feedback was already generated" into release 0.5.0 #48

Merge #53 "Submission should not be able to be deleted if feedback was already generated" into release 0.5.0

Merge #53 "Submission should not be able to be deleted if feedback was already generated" into release 0.5.0 #48

Triggered via pull request September 30, 2024 11:08
Status Success
Total duration 11s
Artifacts

pull-request-enforcer.yml

on: pull_request
check_branch
0s
check_branch
Fit to window
Zoom out
Zoom in