Merge pull request #753 from LPCIC/gares-patch-1

fix docker ci master
LPCIC · Jan 25, 2025 · fd11b7a · fd11b7a
2 parents 446c98b + ea056a4
commit fd11b7a
Show file tree

Hide file tree

Showing 9 changed files with 6 additions and 51 deletions.
diff --git a/apps/coercion/tests/coercion.t/run.t b/apps/coercion/tests/coercion.t/run.t
diff --git a/apps/coercion/tests/coercion_open.t/run.t b/apps/coercion/tests/coercion_open.t/run.t
diff --git a/apps/coercion/tests/dune b/apps/coercion/tests/dune
@@ -1,7 +1,6 @@
-(cram
- (applies_to :whole_subtree)
- (deps
-  %{bin:coqc}
-  %{bin:coqdep}
-  (package coq-elpi)
-  setup-project.sh))
+(coq.theory
+ (name elpi.apps.coercion.tests)
+ (package coq-elpi-tests)
+ (theories elpi elpi.apps.coercion))
+
+(include_subdirs qualified)
diff --git a/apps/coercion/tests/setup-project.sh b/apps/coercion/tests/setup-project.sh
diff --git a/apps/coercion/tests/coercion.t/test.v → apps/coercion/tests/test.v b/apps/coercion/tests/coercion.t/test.v → apps/coercion/tests/test.v
diff --git a/apps/coercion/tests/coercion.t/test2.v → apps/coercion/tests/test2.v b/apps/coercion/tests/coercion.t/test2.v → apps/coercion/tests/test2.v
diff --git a/apps/coercion/tests/coercion_open.t/test.v → apps/coercion/tests/test_open.v b/apps/coercion/tests/coercion_open.t/test.v → apps/coercion/tests/test_open.v
diff --git a/etc/run.t b/etc/run.t
diff --git a/etc/setup-project.sh b/etc/setup-project.sh