Skip to content

ci: simplified CI workflow and removed unnecessary miri script - #467

Merged
jdm merged 3 commits into
servo:v2from
alejandro-vaz:simple-ci
Aug 28, 2026
Merged

jdm merged 3 commits into
servo:v2from
alejandro-vaz:simple-ci

Commits

Commits on Aug 28, 2026