Skip to content

chore: add .vagrant/ to .gitignore (#117) #40

chore: add .vagrant/ to .gitignore (#117)

chore: add .vagrant/ to .gitignore (#117) #40

Triggered via push November 21, 2025 11:49
Status Success
Total duration 9s
Artifacts
Update the release draft
7s
Update the release draft
Fit to window
Zoom out
Zoom in

Annotations

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