Project causes huge lag and tactic window doesn't load
cuppajoeman opened this issue · comments
Hi there, I've been trying to get this project set up on my computer to no avail.
My computer specs are this:
OS: Manjaro Linux x86_64
Kernel: 5.13.19-2-MANJARO
CPU: AMD Ryzen 5 1600 (12) @ 3.200GHz
GPU: NVIDIA GeForce GTX 1060 3GB
Memory: 3449MiB / 15937MiB
My elan version is:
elan 1.3.1 (4363704ad 2021-11-01)
I am able to work with other projects just fine.
Here is a video with htop running in the back, you can see that it looks like a whole bunch of elan servers are spawned, but I am not sure if that is expected behavior:
Thanks for checking this out.
Hmm, looks like I was just installing the project wrong. Another attempt but this time using leanproject get openai/miniF2F solves the issue.
Well the right way to make sure you're on the right version is to clone and leanpkg configure then build (see PR)