Lint

Merge pull request #221 from authzed/dependabot/github_actions/github… #397

Sign in to view logs

Triggered via push November 1, 2024 15:51

github-merge-queue[bot]

main

Status Success

Total duration 1m 29s

Artifacts –

lint.yaml

on: push

Analyze with Trivy

Type Check with Mypy

Matrix: Analyze with CodeQL

Matrix: Format & Lint