diff options
author | Aiden Grossman <agrossman154@yahoo.com> | 2024-02-05 23:49:34 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-02-05 23:49:34 -0800 |
commit | 38476b063f164995b85e47472e3c2e0a9c5f9075 (patch) | |
tree | f9806d127c997aad73ba17dde89a525348470961 /llvm/lib/ProfileData/Coverage/CoverageMapping.cpp | |
parent | 03881dc0a7695f4c499cc07042b8c59ad7b7335a (diff) | |
download | llvm-38476b063f164995b85e47472e3c2e0a9c5f9075.zip llvm-38476b063f164995b85e47472e3c2e0a9c5f9075.tar.gz llvm-38476b063f164995b85e47472e3c2e0a9c5f9075.tar.bz2 |
[Github] Add script to count running jobs (#80250)
This patch adds a script to automatically query the number of running
jobs and print them to the terminal as this functionality isn't
available through the Github UI (unless you are a Github administrator).
Diffstat (limited to 'llvm/lib/ProfileData/Coverage/CoverageMapping.cpp')
0 files changed, 0 insertions, 0 deletions