* Add CI script for diffs * Cleanup * Update github actions * simplify * echo * cleanup * fix * "$RUNNER_OS" == "Linux" * hack |
||
|---|---|---|
| .. | ||
| workflows | ||
| issue_template.md | ||
* Add CI script for diffs * Cleanup * Update github actions * simplify * echo * cleanup * fix * "$RUNNER_OS" == "Linux" * hack |
||
|---|---|---|
| .. | ||
| workflows | ||
| issue_template.md | ||