Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
support ci job via hg_sync (cf. 7883f221d6d3);
authorFabian Huch <huch@in.tum.de>
Tue, 04 Jun 2024 09:02:18 +0200
changeset 80245 b6551e0c70c4
parent 80244 885fc1e837ed
child 80246 245dd5f82462
support ci job via hg_sync (cf. 7883f221d6d3);
src/Pure/Admin/ci_build.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/ci_build.scala	Mon Jun 03 19:37:42 2024 +0200
+++ b/src/Pure/Admin/ci_build.scala	Tue Jun 04 09:02:18 2024 +0200
@@ -133,7 +133,8 @@
   }
 
   def hg_id(path: Path): String =
-    Mercurial.repository(path).id()
+    if (Mercurial.Hg_Sync.ok(path)) File.read(path + Mercurial.Hg_Sync.PATH_ID)
+    else Mercurial.repository(path).id()
 
   def print_section(title: String): Unit =
     println("\n=== " + title + " ===\n")
isabelle