segmentation fault at Lean/Elab/Tactic/Try

Stream: lean4 dev

[Jovan Gerbscheid]

In my lean4 PR #8294 the build randomly fails sometimes, with the error

make[7]: *** [/home/runner/work/lean4/lean4/build/stage1/bin/../share/lean/lean.mk:78: ../build/stage1/lib/lean/Lean/Elab/Tactic/Try.olean] Segmentation fault (core dumped)

Is this a known issue? Here is the output in the last failure. So far I worked around it by making empty commits until the build did succeed.

[Sebastian Ullrich]

Do you have a stack trace?

[Jovan Gerbscheid]

It's the github CI builder, so I can only see what's in the linked trace.