mirror of
https://github.com/keymanapp/keyman.git
synced 2026-11-02 09:07:41 +00:00
This makes it more obvious which workflow run is a PR build and which is a release build. |
||
|---|---|---|
| .. | ||
| build | ||
| devbox | ||
| git-hooks | ||
| gosh | ||
| scopes | ||
| standards-data | ||
| builder.inc.sh | ||
| shellHelperFunctions.sh | ||