Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Win32 hotkey build to new CI #69

Merged
merged 1 commit into from
Jan 19, 2022
Merged

Add Win32 hotkey build to new CI #69

merged 1 commit into from
Jan 19, 2022

Conversation

Merrit
Copy link
Owner

@Merrit Merrit commented Jan 18, 2022

Building of hotkey got missed in the migration

@Merrit Merrit added the ignore-for-release Misc commits not relevant to a release label Jan 18, 2022
@Merrit Merrit force-pushed the restore_win32_hotkey branch 6 times, most recently from 739fea4 to ec62709 Compare January 19, 2022 18:18
Building of hotkey got missed in the migration
@Merrit Merrit merged commit 5348223 into master Jan 19, 2022
@Merrit Merrit deleted the restore_win32_hotkey branch January 19, 2022 19:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ignore-for-release Misc commits not relevant to a release
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant