Bench failed?

Stream: mathlib4

[Winston Yin (尹維晨)]

Why did bench fail in #8702? CI passed, though. Problem with bench or should I nail down the offending commit?

############
## Stderr ##
############
+ temci exec --config ./scripts/bench/temci-config.yml
[2023-12-03 01:46:11,421] Program block no. 2 failed: Unexpected return code 1, expected 0
[2023-12-03 01:46:11,421] output

Mathlib.lean:1:0: error: unknown package 'Mathlib'
You might need to open '/home/velcom/mathlib4/task_repo' as a workspace in your editor

[2023-12-03 01:46:11,421] error

error: unknown command 'print-paths'

[Winston Yin (尹維晨)]

This seems relevant