Merge branch 'dev' into 718-dev-subcorpus-frontend

3 jobs for 718-dev-subcorpus-frontend in 4 minutes and 55 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Check Lint
failed #16976
check-lint

00:04:55

 
  Compile
skipped #16977
compile
 
  Test
skipped #16978
test
 
Name Stage Failure
failed
check-lint Check Lint
building '/nix/store/lc5aqzsdbw3j0a7pawxr8j6d0ia0r72n-check-lint.drv'...
Checking format
Some files are not formatted:

/builds/gargantext/purescript-gargantext/src/Gargantext/Components/DocsTable.purs
/builds/gargantext/purescript-gargantext/src/Gargantext/Components/DocsTable/SubcorpusCreation.purs
/builds/gargantext/purescript-gargantext/src/Gargantext/Components/DocsTable/Types.purs
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1