gitlab.rlp.net will be temporarily unavailable for maintenance reasons on 2021-01-15 21:00 - 23:00

gitlab.rlp.net will be temporarily unavailable for maintenance reasons on 2021-01-15 21:00 - 23:00

PCF: add factorial test

3 jobs for master in 40 minutes and 35 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Dependencies
passed #137882
stack-dependencies

00:13:23

 
  Build
passed #137883
stack-build

00:12:46

 
  Test
passed #137884
stack-test

00:14:26