♻️ Refactor EquivalenceCheckingManager and 📝✨ Revamp Documentation #1106
Triggered via pull request
March 9, 2025 23:50
burgholzer
synchronize
#566
Status
Success
Total duration
12s
Artifacts
–
Annotations
4 warnings
Run
"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
Run
"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
Run
"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|
Run
"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)
|