Skip to content

P
purescript-gargantext

merge with dev stuff

3 jobs for 711-home-when-user-is-logged-display-an-easy-entry-to-create-a-corpus in 23 minutes and 19 seconds (queued for 2 seconds)
edb784d8 edb784d8763f319e2a5c2a9ffdfa1c56c7ebdad8
Status Job ID Name Coverage
  Check Lint
passed #18552
check-lint

00:07:29

 
  Compile
passed #18553
compile

00:08:34

 
  Test
passed #18554
test

00:07:15