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

chore: Add `mindebug-dev` rust profile #19524

Merged

ritchie46 merged 2 commits into pola-rs:main from coastalwhite:chore/mindebug-dev-profile

Oct 30, 2024

Commits on Oct 30, 2024

chore: Add mindebug-dev rust profile
```
This adds a profile that can be used to more quickly iterate on code.

```
mindebug-dev: 3m42s
debug: 4m13s
```
```
coastalwhite committed Oct 30, 2024
Configuration menu
View commit details

Copy full SHA for 5698fd3

Browse repository at this point
Copy the full SHA

5698fd3 View commit details

Browse the repository at this point in the history
add Makefile command

coastalwhite committed Oct 30, 2024
Configuration menu
View commit details

Copy full SHA for cc0d19c

Browse repository at this point
Copy the full SHA

cc0d19c View commit details

Browse the repository at this point in the history