Move docker and jenkins files

logicalclocks · Jul 15, 2024 · 13fd742 · 13fd742
1 parent 7298297
commit 13fd742
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 55 deletions.
diff --git a/hsfs/Dockerfile → Dockerfile b/hsfs/Dockerfile → Dockerfile
diff --git a/hsfs/Jenkinsfile b/hsfs/Jenkinsfile
diff --git a/hsml/Dockerfile b/hsml/Dockerfile
diff --git a/hsml/Jenkinsfile b/hsml/Jenkinsfile