chore(ci): use snapshot builds (#2083)

josecorella · web-flow · commit 0124ca678782 · 2026-02-17T11:28:25.000-08:00
diff --git a/project.properties b/project.properties
@@ -1,4 +1,4 @@
-projectJavaVersion=3.9.1
+projectJavaVersion=3.9.1-SNAPSHOT
 mplDependencyJavaVersion=1.11.2-SNAPSHOT
 mplDependencyNetVersion=1.11.2
 dafnyVersion=4.9.0

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-projectJavaVersion=3.9.1`
	`1`	`+projectJavaVersion=3.9.1-SNAPSHOT`
`2`	`2`	`mplDependencyJavaVersion=1.11.2-SNAPSHOT`
`3`	`3`	`mplDependencyNetVersion=1.11.2`
`4`	`4`	`dafnyVersion=4.9.0`