Change which files are checked in CI

jvanbruegge · jvanbruegge · commit 53ec0f78a98d · 2020-11-18T17:30:26.000+01:00
diff --git a/Dockerfile b/Dockerfile
@@ -12,4 +12,4 @@ RUN for t in Nominal2 FinFun; do \
 
 RUN ./Isabelle/bin/isabelle build -o system_heaps -b Nominal2
 
-COPY ROOT Defs.thy Soundness.thy ./
+COPY ROOT *.thy ./
diff --git a/ROOT b/ROOT
@@ -1,4 +1,4 @@
 session Lambda = HOL + sessions "HOL-Eisbach" Nominal2
 theories
-    Defs
+    BetaEquivalence
     Soundness

Original file line number	Diff line number	Diff line change
`@@ -12,4 +12,4 @@ RUN for t in Nominal2 FinFun; do \`
`12`	`12`
`13`	`13`	`RUN ./Isabelle/bin/isabelle build -o system_heaps -b Nominal2`
`14`	`14`
`15`		`-COPY ROOT Defs.thy Soundness.thy ./`
	`15`	`+COPY ROOT *.thy ./`