mirror of
https://github.com/keymanapp/keyman.git
synced 2026-08-08 01:45:32 +00:00
- remove useless branch name from name (this is always `master` due to the way the workflow gets triggered) - add PR# to step summary so that it's visible on the Summary page - fix PR check message to say "API verification" instead of "Package build" |
||
|---|---|---|
| .. | ||
| api-verification.yml | ||
| auto-merge-keyman-server-pr.yml | ||
| crowdin.yml | ||
| deb-packaging.README.md | ||
| deb-packaging.yml | ||
| labeler.yml | ||