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.

Sign up for GitHub

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

Jump to bottom

Optimize PR loading break condition #1184

Merged

mikepenz merged 2 commits into develop from feature/optimize_break_condition

Jul 28, 2023

Owner

mikepenz commented Jul 28, 2023

optimize break condition, if we collected enough PRs

mikepenz force-pushed the feature/optimize_break_condition branch from bd708fd to 319fb53 Compare

July 28, 2023 12:58

mikepenz added the other label


          - optimize break condition, if we collected enough PRs

79ee621

mikepenz force-pushed the feature/optimize_break_condition branch from 319fb53 to 79ee621 Compare

July 28, 2023 13:38


          - ensure project is recompiled cleanly

042bbe5

mikepenz merged commit c820a86 into develop

mikepenz deleted the feature/optimize_break_condition branch

July 28, 2023 14:00

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels