Skip to content

CI: Run pre-built rusty_demo instead of building upstream#466

Merged
mkroening merged 1 commit intomainfrom prebuilt-demoJan 31, 2024