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.

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

Fix and improve the debugging mode #2848

Merged
merged 1 commit into from
Mar 13, 2023
Merged

Fix and improve the debugging mode #2848

merged 1 commit into from
Mar 13, 2023

Conversation

sbrunner
Copy link
Member

Use Docker buildkit for faster build

@sbrunner sbrunner force-pushed the fix-debug branch 2 times, most recently from efcaf76 to 46c7863 Compare March 10, 2023 19:50
@sbrunner sbrunner marked this pull request as ready for review March 10, 2023 20:16
@sbrunner sbrunner requested a review from sebr72 March 13, 2023 12:39
@sbrunner sbrunner force-pushed the fix-debug branch 2 times, most recently from 14b9ef8 to 4887705 Compare March 13, 2023 12:59
@sbrunner
Fix and improve the debugging mode
8900f98 
Use Docker buildkit for faster build
sebr72
sebr72 approved these changes Mar 13, 2023
View reviewed changes
Copy link
Contributor

@sebr72 sebr72 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ok as discussed

@sbrunner sbrunner merged commit b3d44b0 into master Mar 13, 2023
@sbrunner sbrunner deleted the fix-debug branch March 13, 2023 13:29
@geo-ghci-int geo-ghci-int bot added this to the 3.31.0 milestone Oct 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sebr72 sebr72 sebr72 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
3.31.1
Development

Successfully merging this pull request may close these issues.
2 participants
@sbrunner @sebr72