You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
for some reason I realized month after that watchexec was still running on my computer. It seems like the command here might not gracefully shut down watchexec: https://github.com/zksecurity/RFCs/blob/main/justfile
The text was updated successfully, but these errors were encountered:
for some reason I realized month after that
watchexec
was still running on my computer. It seems like the command here might not gracefully shut down watchexec: https://github.com/zksecurity/RFCs/blob/main/justfileThe text was updated successfully, but these errors were encountered: