this profile is mainly for issues and PRs
for "real" projects see: notabug.org
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusethis profile is mainly for issues and PRs
for "real" projects see: notabug.org
minecraft tlauncher in docker (it may be useful if you use musl libc)
Dockerfile
ebuild is like bash script but with minor differences, and shfmt can correctly format it
zz leaves zombie process of z3
during building zz leaves zombie processes of z3
i found that processes spawns here:
zz/src/smt.rs Line 1005 in 18020b1
and from rsmt2 …