Adds generated source to repo and adds CI checks #418

Merged

wdziemia merged 5 commits intomasterfrom wd/checkin_sources

Aug 29, 2022

+495,662-1

Commits on Aug 29, 2022

Change output dir of stone generated code and have it output to checked in directory of the repo
Walter Dziemianczyk
committed
Adds generated source checks to PR CI checks
Walter Dziemianczyk
committed
Edits diff check
Walter Dziemianczyk
committed
Commits baseline
Walter Dziemianczyk
committed
Adds git status command to script check
Walter Dziemianczyk
committed