diff options
author | stuebinm | 2022-02-16 15:32:57 +0100 |
---|---|---|
committer | stuebinm | 2022-02-16 15:32:57 +0100 |
commit | 1fed9563fd75e6528740471f04746138284257b3 (patch) | |
tree | ac019f57296aeae244f170c7d6e73b964c8d402a /server/Worker.hs | |
parent | 662a01a74a13979830dacf1dc8c18161040f32cc (diff) |
internal state: sort according to org
(also, more lenses i guess)
Diffstat (limited to '')
-rw-r--r-- | server/Worker.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/Worker.hs b/server/Worker.hs index 7609d48..1672026 100644 --- a/server/Worker.hs +++ b/server/Worker.hs @@ -61,7 +61,7 @@ runJob config Job {..} cliconfig done = runCli cliconfig $ do res <- liftIO $ recursiveCheckDir (orgLintconfig jobOrg) workdir (orgEntrypoint jobOrg) callgit gitdir [ "worktree", "remove", "-f", "-f", workdir ] pure res - liftIO $ setJobStatus done jobRef $ case res of + liftIO $ setJobStatus done jobOrg jobRef $ case res of Right res -> Linted res Left err -> Failed (prettyProcessFailure err) where |