Skip to content

P
purescript-gargantext

Merge branch 'dev' into dev-websockets

2 jobs for dev-websockets in 21 minutes (queued for 4 seconds)
592cbb1d 592cbb1d620f033ae579feae7bf8940dfbbbfd2b
Status Job ID Name Coverage
  Compile
passed #14211
compile

00:10:58

 
  Test
passed #14212
test

00:10:02