Karl Seguin df7bde233d Fix linux build ...

Try to fix CI (this is what claude came up with, I have no idea why CI is
failing).

2026-07-22 13:26:06 +08:00

..

actions

Fix linux build

2026-07-22 13:26:06 +08:00

workflows

wpt: adjust concurrency

2026-07-21 11:38:27 +02:00