Skip to content

Check that a PR driver is still running before trying to kill it#2799

Merged
WalterKolczynski-NOAA merged 8 commits into
NOAA-EMC:developfrom
DavidHuber-NOAA:fix/bash_ci
Aug 7, 2024
Merged

Check that a PR driver is still running before trying to kill it#2799
WalterKolczynski-NOAA merged 8 commits into
NOAA-EMC:developfrom
DavidHuber-NOAA:fix/bash_ci