Github action support #2

Merged
david merged 10 commits from actions into main 2025-04-03 19:44:25 -07:00
Showing only changes of commit 31b4b3698d - Show all commits

View File

@ -16,7 +16,7 @@ jobs:
git checkout main
git pull origin main
- name: Stop existing server
- name: Stop existing server, if running
run: |
pkill -f 'python3 -m http.server' || true