etc/build.props

--- a/etc/build.props	Tue Jun 28 14:50:59 2022 +0200
+++ b/etc/build.props	Tue Jun 21 18:24:22 2022 +0200
@@ -33,6 +33,7 @@
   src/Pure/Admin/build_verit.scala \
   src/Pure/Admin/build_zipperposition.scala \
   src/Pure/Admin/check_sources.scala \
+  src/Pure/Admin/ci_build_benchmark.scala \
   src/Pure/Admin/ci_profile.scala \
   src/Pure/Admin/isabelle_cronjob.scala \
   src/Pure/Admin/isabelle_devel.scala \