.github/workflows/lint.yml

Add GetNumProc util helper (#533) #15

Sign in to view logs

Triggered via push July 19, 2025 18:08

github-merge-queue[bot]

master

Status Success

Total duration 20s

Artifacts –

lint.yml

on: push