Skip to content
reviewdog

Move from bors to merge queue and update github actions dependencies #775

Sign in to view logs

Move from bors to merge queue and update github actions dependencies

Move from bors to merge queue and update github actions dependencies #775

GitHub Actions / actionlint succeeded Aug 1, 2023 in 0s

reviewdog [actionlint] report

reported by reviewdog 🐶

Findings (0)
Filtered Findings (0)
View more details on GitHub Actions