Deploy the dev documentation

feat(misconf): Support `--ignore-policy` in config scans (#5359) #421

Sign in to view logs

Triggered via push October 23, 2023 08:03

github-merge-queue[bot]

main

Status Success

Total duration 2m 14s

Artifacts –

mkdocs-dev.yaml

on: push

Deploy the dev documentation