ci: Ignore devbox update PRs in release notes #23
Triggered via pull request
February 13, 2024 13:14
jimmidyson
jimmidyson
opened
#356
Status
Success
Total duration
13s
Artifacts
–