Beni Peled 3abe4a2696 Adjust scripts/pull_github_pr.sh to check tests status ...

Closes #10263

Closes #10264

2022-05-11 14:46:30 +02:00

2.4 KiB

Executable File

Raw Blame History

View Raw