erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-09-24 08:37:42 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 12
spiegel-keyman/.github/workflows
History
Eberhard Beilharz 9908eed572
fix(linux): Use PR HEAD for status 
We need to use HEAD of the PR for setting the status, not the
merge commit.
2023-02-10 18:36:21 +01:00
..
auto-merge-keyman-server-pr.yml chore(common): update actions to node16 2022-10-25 16:22:03 +11:00
crowdin.yml chore(common): update actions to node16 2022-10-25 16:22:03 +11:00
deb-packaging.yml fix(linux): Use PR HEAD for status 2023-02-10 18:36:21 +01:00
labeler.yml chore(common): update actions to node16 2022-10-25 16:22:03 +11:00