Strange CI error

Stream: mathlib4

[Jiang Jiedong]

There is a strange CI error message appearing in my PRs. Does anyone know how to solve this? Thanks!

https://github.com/leanprover-community/mathlib4/actions/runs/19136608825/job/54690187943?pr=31296#step:2:14

[landrun:error] 2025/11/06 13:05:30 Failed to apply sandbox: failed to apply Landlock filesystem restrictions: populating ruleset for "pr-branch/.lake/" with access {write_file,read_file,truncate,ioctl_dev}: open: no such file or directory

Error: Process completed with exit code 1.

[Jiang Jiedong]

P.S. I have just merged master, and rerunning CI gives the same error message again...

[Robin Carlier]

Looks the same as #mathlib4 > A CI error message I don't understand (the same error message is in the link with the github run) , but there merging master worked.

[Jiang Jiedong]

It seems not to be the exact same error message as in #mathlib4 > A CI error message I don't understand

[Jiang Jiedong]

(deleted)

[Bryan Gin-ge Chen]

This is probably related to #31316. I'll try and push a fix shortly.

[Jiang Jiedong]

Thanks!

[Bryan Gin-ge Chen]

The fix is in #31329; once it lands, your builds should hopefully work normally again even without merging master.