Remove unused files

grischperl · Jan 5, 2024 · 84aabe5 · 84aabe5
1 parent 6760b9a
commit 84aabe5
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 107 deletions.
diff --git a/scripts/check_artifacts_existence.sh b/scripts/check_artifacts_existence.sh
diff --git a/scripts/check_tag_info.sh b/scripts/check_tag_info.sh
diff --git a/scripts/verify_status.sh b/scripts/verify_status.sh