Merge pull request #723 from SchrodingersCattt/dev-gmy · AnguseZhang/MatMaster@5eed75d

Triggered via push February 5, 2026 07:41

Rasic2

test

Status Success

Total duration 11s

Artifacts –

draft.yml

on: push

4 warnings

"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)