Lint PR

ci: add pr linting to pull requests #4

Sign in to view logs

Triggered via pull request December 17, 2023 18:21

NoamGaash

opened #322

ci/add-pr-linting-to-pull-requests

Status Success

Total duration 10s

Artifacts –

lint-pr.yml

on: pull_request

Validate PR title