Release: dev to main #7

Merged
devadmin merged 31 commits from dev into main 2026-10-15 18:01:36 -06:00
Showing only changes of commit 2a193f8d5b - Show all commits
+12
View File
@@ -0,0 +1,12 @@
name: Net check
on: workflow_dispatch
jobs:
net:
runs-on: ubuntu-latest
steps:
- name: Probe outbound HTTPS from the runner
run: |
cat /etc/os-release | head -2; command -v java node npm curl git || true
for u in https://api.github.com https://github.com https://api.adoptium.net https://dl.google.com/android/repository/repository2-3.xml https://registry.npmjs.org/wrangler https://api.cloudflare.com/client/v4/ https://plg.wallacenet.ca/dev/latest.json https://services.gradle.org https://repo.maven.apache.org/maven2/ https://plugins.gradle.org; do
printf '%s -> ' "$u"; curl -sS -o /dev/null -m 15 -w '%{http_code}\n' "$u" 2>&1 | tail -1
done