ci: use Lux for type checking#893

mrcjkb wants to merge 2 commits intomastermrcjkb/rustaceanvim:masterfrom

mj/push-vkxvwvvnwprymrcjkb/rustaceanvim:mj/push-vkxvwvvnwpryCopy head branch name to clipboard