progress bug to fix

2 jobs for master in 17 seconds (queued for 3 seconds)
Status Name Job ID Coverage
  Build
failed wordgen-linux #4764
linux

00:00:17

 
  Deploy
skipped pages #4765
 
Name Stage Failure
failed
wordgen-linux Build
       is not included in
val taylor_exp_s : t -> int -> t
File "Semantic.mli", line 28, characters 4-35: Expected declaration
File "expPoly.ml", line 237, characters 6-18: Actual declaration
Command exited with code 2.
make: *** [Makefile:2: all] Error 10
Running after_script
Uploading artifacts for failed job
ERROR: Job failed: exit code 1