Skip to content

feat(CI): Test Github Actions on Windows and Macos (Take #2)#14

Merged
leha-bot merged 13 commits intomasterfrom
feature/github-ci
Jul 19, 2024
Merged

feat(CI): Test Github Actions on Windows and Macos (Take #2)#14
leha-bot merged 13 commits intomasterfrom
feature/github-ci

Conversation

@leha-bot
Copy link
Member

@leha-bot leha-bot commented Sep 12, 2022

Recreation of #12 and rebased on fresh master.

Related to #2.

@leha-bot leha-bot added infrastructure Any improvements to build system, package management and CI wip Work in Progress, feedback is preferred (PRs MERGING IS FORBIDDEN!) labels Sep 12, 2022
@leha-bot leha-bot self-assigned this Sep 12, 2022
@leha-bot leha-bot marked this pull request as draft September 13, 2022 15:01
@leha-bot leha-bot closed this Dec 11, 2022
@leha-bot leha-bot reopened this Dec 11, 2022
@leha-bot leha-bot marked this pull request as ready for review December 11, 2022 11:46
@leha-bot leha-bot force-pushed the feature/github-ci branch 5 times, most recently from 4ee1017 to b12824b Compare December 11, 2022 19:29
@leha-bot leha-bot closed this Dec 11, 2022
@leha-bot leha-bot reopened this Dec 11, 2022
@leha-bot leha-bot closed this Dec 11, 2022
@leha-bot leha-bot reopened this Dec 11, 2022
@leha-bot leha-bot closed this Jan 19, 2023
@leha-bot leha-bot reopened this Jan 19, 2023
@leha-bot leha-bot marked this pull request as draft January 20, 2023 12:24
@leha-bot leha-bot closed this Feb 17, 2024
@leha-bot leha-bot reopened this Feb 17, 2024
@acidicMercury8 acidicMercury8 force-pushed the feature/github-ci branch 7 times, most recently from 7f12c78 to c9a245d Compare May 15, 2024 19:41
@acidicMercury8 acidicMercury8 force-pushed the feature/github-ci branch 9 times, most recently from 969a3a7 to 16260ed Compare July 17, 2024 19:01
@acidicMercury8 acidicMercury8 marked this pull request as ready for review July 18, 2024 17:34
@leha-bot leha-bot merged commit ecf862d into master Jul 19, 2024
@acidicMercury8 acidicMercury8 deleted the feature/github-ci branch July 19, 2024 14:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

infrastructure Any improvements to build system, package management and CI wip Work in Progress, feedback is preferred (PRs MERGING IS FORBIDDEN!)

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants