added deletion check, and added workflows #2

Merged
j.r merged 10 commits from develop into main 2026-06-12 08:28:13 +00:00
Showing only changes of commit 452e5cfe0c - Show all commits

View File

@@ -20,6 +20,11 @@ jobs:
run:
shell: bash
steps:
- name: Install git
run: |
apt-get update -qq
apt-get install -y --no-install-recommends git
- name: Checkout repository
run: |
REPO_DIR="repo"