GeneralBots/generalbots
1
0
Fork 0
Code Activity Actions 5

revert: Remove Google DNS workaround, fixed at DNS root

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

2
.forgejo/workflows/botserver.yaml
View file

@ -31,8 +31,6 @@ jobs:
git config --global --remove-section url."https://alm.pragmatismo.com.br/".insteadof 2>/dev/null || true 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) # Ensure hosts entry for alm in CI container (required for DNS)
echo "10.157.134.241 alm.pragmatismo.com.br" >> /etc/hosts 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 - name: Setup Workspace
run: | run: |