Skip to content

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

Move from bors to merge queue and update github actions dependencies

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

Triggered via pull request August 1, 2023 10:52
Status Success
Total duration 50s
Artifacts

reviewdog.yaml

on: pull_request
actionlint
8s
actionlint
detect-secrets
42s
detect-secrets
markdownlint
24s
markdownlint
yamllint
21s
yamllint
Fit to window
Zoom out
Zoom in