lint

New which_grepl_linter #5586

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request November 18, 2023 21:24

synchronize #2281

which_grepl

Status Success

Total duration 2m 56s

Artifacts –

lint.yaml

on: pull_request