chains-project
diff --git a/‎.github/workflows/build-overhead-experiment.yml‎
Lines changed: 0 additions & 34 deletions b/‎.github/workflows/build-overhead-experiment.yml‎
Lines changed: 0 additions & 34 deletions
diff --git a/‎.github/workflows/experiments/add_classport_plugin.sh‎
Lines changed: 0 additions & 97 deletions b/‎.github/workflows/experiments/add_classport_plugin.sh‎
Lines changed: 0 additions & 97 deletions
diff --git a/‎.github/workflows/experiments/compute_build_overhead.sh‎
Lines changed: 0 additions & 93 deletions b/‎.github/workflows/experiments/compute_build_overhead.sh‎
Lines changed: 0 additions & 93 deletions
diff --git a/‎.github/workflows/projects/pdfbox-3.0.4‎
Lines changed: 0 additions & 1 deletion b/‎.github/workflows/projects/pdfbox-3.0.4‎
Lines changed: 0 additions & 1 deletion
diff --git a/‎.gitmodules‎
Lines changed: 0 additions & 3 deletions b/‎.gitmodules‎
Lines changed: 0 additions & 3 deletions
@@ -1,6 +1,3 @@
 [submodule "classport-experiments"]
 	path = classport-experiments
 	url = [email protected]:chains-project/classport-experiments.git
-[submodule ".github/workflows/projects/pdfbox-3.0.4"]
-	path = .github/workflows/projects/pdfbox-3.0.4
-	url = https://github.com/apache/pdfbox.git