Could not do the entire build the in WSL (Ubuntu 22.04)
Open
- Dominant language
- C++
- Stars
- 1.9k
- Forks
- 283
- Avg merge
- 2d 10h
- Merged PRs (30d)
- 135
Description
Encountered an issue where previously being able to build parts of the Module (specifically the prove_quickcheck_main) , but not able to build the complete build in WSL (Ubutntu 22.04 .05 LTS, Windows 11 , Bazel Version - 7.4.1).
Server terminates abruptly at a specific point each time during the build.
Contents of the log file.
Contributor guide
Assessment
This issue has not been assessed yet.