Merging PRs now requires linting/formatting/tests and builds to complete #48

Merged
robin merged 2 commits from dev into main 2026-09-09 17:19:41 +02:00
Showing only changes of commit c4ce8e66b6 - Show all commits
+1 -1
View File
@@ -13,7 +13,7 @@ jobs:
steps:
- name: Install system dependencies
run: |
apt-get update && apt-get install -y --no-install-recommends git openssh-client curl
apt-get update && apt-get install -y --no-install-recommends curl
curl -fsSL https://deb.nodesource.com/setup_24.x | bash -
apt-get install -y nodejs