Skip to content

P
purescript-gargantext

Merge branch '717-dev-locate-in-tree' into 'dev' 

Resolve ""locate in tree""

See merge request !492
3 jobs for dev in 18 minutes and 14 seconds (queued for 3 seconds)
94083247 94083247a35775923a884fdf74b0411ec257a036
Status Job ID Name Coverage
  Check Lint
passed #16611
check-lint

00:05:10

 
  Compile
passed #16612
compile

00:07:37

 
  Test
passed #16613
test

00:05:26