.github/workflows/lint.yml

Add GetNumProc util helper (#533) #13

Sign in to view logs

Triggered via push July 19, 2025 17:33

github-merge-queue[bot]

gh-readonly-queue/master/pr-533-c679373c86cc6bc25b37a80847412e1d99214ea8

Status Success

Total duration 34s

Artifacts –

lint.yml

on: push