fstar 0 -> 1
attrpath: fstar
Checking auto update branch...
[version] 
[version] skipping because derivation has updateScript
[rustCrateVersion] 
[rustCrateVersion] No cargoSha256 or cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorSha256 or vendorHash
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] Failed with exit code 1

Going to be running update for following packages:
 - fstar-2024.01.13

Press Enter key to continue...
Running update for:
 - fstar-2024.01.13: UPDATING ...
 - fstar-2024.01.13: ERROR

--- SHOWING ERROR LOG FOR fstar-2024.01.13 ----------------------

error: getting status of '/run/nixpkgs-update-worker': No such file or directory


--- SHOWING ERROR LOG FOR fstar-2024.01.13 ----------------------
The update script for fstar-2024.01.13 failed with exit code 1