-
Hi! Relatively new to Lean, so forgive me if this is a newbie error.
I have a project using mathlib at 4.12.0
```
require mathlib from git
"https://github.com/leanprover-community/mathlib4" …
-
Currently our analyses are done using the per-vertebrae metrics derived from the Spinal Cord Toolbox's `sct_process_segmentation` analysis. While this has worked, it likely results in an issue where m…
-
**Describe the bug**
I'm able to deploy agents, but the server's `/agents` page always shows `No deployed agents` even when I can see there are active agents from Both the server's logs, and when run…
-
Thanks so much for this tool @Canop! Definitely a daily driver for me :)
Just wondering whether I have a setting wrong or something.
Basically, `bacon run` takes much, much longer than `cargo ru…
-
## :rotating_light: The automated release from the `master` branch failed. :rotating_light:
I recommend you give this issue a high priority, so other packages depending on you can benefit from your b…
-
-
### Checks
- [X] I have checked that this issue has not already been reported.
- [X] I have confirmed this bug exists on the [latest version](https://pypi.org/project/polars/) of Polars.
### Reprodu…
-
### Java Pack Direct Download URL
https://www.dropbox.com/scl/fi/os1hizawcdfpnbummyvgw/generated.zip?rlkey=shlezg7ul0ba7c6zf2mueypv0&st=9v1w20b1&dl=0
### Default Pack Direct Download URL
_No respon…
-
GUI stopped after exceeding the time limit (75m by default), but the `stall function` will keep running to get this "5m stall error information". We should stop the `stall function` in this edge case
-
### Bug Description
Documentation for PowerFlex nasName states it is not a required field: https://dell.github.io/csm-docs/docs/deployment/helm/drivers/installation/powerflex/
Deploying the driver…
tdawe updated
2 hours ago