* Add CI script for diffs * Cleanup * Update github actions * simplify * echo * cleanup * fix * "$RUNNER_OS" == "Linux" * hack
* Add CI script for diffs * Cleanup * Update github actions * simplify * echo * cleanup * fix * "$RUNNER_OS" == "Linux" * hack