You are working on the whonore/Coqtail repository. The source code is checked out at /testbed at commit…

You are working on the whonore/Coqtail repository. The source code is checked out at /testbed at commit…: a task in SWE-Lego-RL-2699 (Harbor dataset). Named goal selection with curly braces seems to ignore the first tactic call in Coqtail, but following tactic calls are registered correctly.