Update ci.yml (#3247)

updates main to use rust-launch (needed to unbreak CI) until we change
to use rustv1 in the examples folder

----

_By submitting this pull request, I confirm that you can use, modify,
copy, and redistribute this contribution, under the terms of your
choice._