Add penalty_type option to submission rules for percentage_of_mark penalties#7709
Merged
david-yz-liu merged 22 commits intoMarkUsProject:masterfrom Nov 10, 2025
Merged
Commits
Commits on Oct 23, 2025
Commits on Oct 25, 2025
Commits on Oct 27, 2025
Commits on Nov 1, 2025
- committed
- committed
- committed
- committed
- committed