Skip to content

P
purescript-gargantext

Merge branch 'dev' into dev-websockets

2 jobs for dev-websockets in 20 minutes and 42 seconds (queued for 5 seconds)
7366fd67 7366fd67e5fee78db0c8f86382a890cc0a17b02f
Status Job ID Name Coverage
  Compile
passed #14305
compile

00:10:42

 
  Test
passed #14306
test

00:10:00