[ci] Switch to Github ARM runners. (#302)

* [ci] Switch to Github ARM runners. Delete Earthly files. Disable deploy-ppa job. * Use Github Actions badge in README. Remove references to Azure pipelines and the Ubuntu PPA. * Add filter to github actions link.
HaxeFoundation · Feb 15, 2025 · 2e6bd32 · 2e6bd32
1 parent ab37810
commit 2e6bd32
Show file tree

Hide file tree

Showing 10 changed files with 48 additions and 1,136 deletions.
diff --git a/.devcontainer/build.sh b/.devcontainer/build.sh
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
diff --git a/.devcontainer/direnv.toml b/.devcontainer/direnv.toml
diff --git a/.devcontainer/docker-compose.yml b/.devcontainer/docker-compose.yml