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 24 minutes and 59 seconds (queued for 25 minutes and 18 seconds)
264ad728 264ad728ddd5d987b301b031afa76c80e8c5aa05
Status Job ID Name Coverage
  Check Lint
passed #18285
check-lint

00:07:39

 
  Compile
passed #18286
compile

00:09:31

 
  Test
passed #18287
test

00:07:47