Skip to content

ci: decouple playwright/kani/rocq from needs:[test] (#299)#300

Merged
avrabe merged 1 commit into
mainfrom
fix/issue-299-decouple-playwright-kani-rocq
May 19, 2026
Merged

ci: decouple playwright/kani/rocq from needs:[test] (#299)#300
avrabe merged 1 commit into
mainfrom
fix/issue-299-decouple-playwright-kani-rocq

Commits

Commits on May 17, 2026