Issue: No PR number is detected on Push events and all builds are skipped. We want the opposite to be true, so we're running all builds on merges in hopes of testing better. |
||
|---|---|---|
| .. | ||
| consumer_db | ||
| producer_db | ||
| semgrep_rules | ||
| documentation.py | ||
| install.sh | ||
| install_dependencies.sh | ||
| roulette.py | ||
| translation.py | ||