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

Switched to on demand running of workflows in PRs. #112

Merged
merged 6 commits into from
Jun 29, 2023

Conversation

grigorye
Copy link
Owner

@grigorye grigorye commented Jun 25, 2023

No description provided.

@grigorye grigorye force-pushed the feature/On-Demand-Workflows branch 3 times, most recently from cd97706 to 9cce7a6 Compare June 27, 2023 20:52
@grigorye grigorye force-pushed the feature/On-Demand-Workflows branch 6 times, most recently from cdb80a9 to 267e3f7 Compare June 28, 2023 00:36
@grigorye grigorye force-pushed the feature/On-Demand-Workflows branch from 4ab62bc to cdb1da6 Compare June 28, 2023 21:27
@grigorye grigorye merged commit 42e0c39 into main Jun 29, 2023
@grigorye grigorye deleted the feature/On-Demand-Workflows branch June 29, 2023 00:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant