Add pinned development shell and cross-platform PR CI - #16

Add pinned development shell and cross-platform PR CI#16

hooreique merged 1 commit into

mainhooreique/fall:mainfrom

cihooreique/fall:ciCopy head branch name to clipboard