CodeQL

Add support for external pagers via \pager command #204

Sign in to view logs

Triggered via pull request December 20, 2023 13:55

synchronize #418

j/pagers

Status Success

Total duration 3m 49s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze