Skip to content

Merge pull request #81 from uhafner/autograding-v6 #126

Merge pull request #81 from uhafner/autograding-v6

Merge pull request #81 from uhafner/autograding-v6 #126

Triggered via push March 12, 2025 10:17
Status Success
Total duration 14s
Artifacts
Update Release Draft
5s
Update Release Draft
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
Update Release Draft
"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
Update Release Draft
"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
Update Release Draft
"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
Update Release Draft
"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)