-- Error: /Users/nipkow/AFP/devel/tools/afp_build_ci.scala:272:51

[Tobias Nipkow]

$ isabelle components -a
$ hg fetch
pulling from ssh://isabelle//home/isabelle-repository/repos/isabelle
searching for changes
no changes found
$ hg summary
parent: 82185:cd96b972d5d3 tip
$ isabelle build -b Pure
### Building AFP/Tools (/Users/nipkow/AFP/devel/tools/lib/classes/afp_tools.jar) ...
method find_facts_index_command in object Find_Facts: (sessions: List[String], 
ssh: isabelle.SSH.System,
   isabelle_home: isabelle.Path, options: List[isabelle.Options.Spec],
   dirs: List[isabelle.Path], browser_info: Boolean, no_build: Boolean, verbose
   : Boolean): String does not have a parameter clean
1 error found
-- Error: /Users/nipkow/AFP/devel/tools/afp_build_ci.scala:272:51 ------------
272 |            find_facts_options, dirs = dirs, clean = true, no_build = true)
     |                                             ^^^^^^^^^^^^
     |method find_facts_index_command in object Find_Facts: (sessions: 
List[String], ssh: isabelle.SSH.System,
     |  isabelle_home: isabelle.Path, options: List[isabelle.Options.Spec],
     |  dirs: List[isabelle.Path], browser_info: Boolean, no_build: Boolean, verbose
     |  : Boolean): String does not have a parameter clean
1 error found
*** Failed to compile Scala sources

What now?

Tobias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5187 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20250216/4e2eb74d/attachment.bin>