GeneralBots/botserver
2
1
Fork 0
Code Activity Actions

fix: Add Google DNS for external domains

Browse source
This commit is contained in:
Rodrigo Rodriguez (Pragmatismo) 2026-03-31 12:26:27 -03:00
parent bc16a00e4d
commit 492e3c9dc8
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.forgejo/workflows/botserver.yaml
View file

@ -31,6 +31,8 @@ jobs:
git config --global --remove-section url."https://alm.pragmatismo.com.br/".insteadof 2>/dev/null || true
# Ensure hosts entry for alm in CI container (required for DNS)
echo "10.157.134.241 alm.pragmatismo.com.br" >> /etc/hosts
# Add Google DNS as fallback for external domains (rust-lang.org, etc)
echo "nameserver 8.8.8.8" | sudo tee /etc/resolv.conf.tmp > /dev/null && sudo cat /etc/resolv.conf >> /etc/resolv.conf.tmp && sudo mv /etc/resolv.conf.tmp /etc/resolv.conf
- name: Setup Workspace
run: |