Merge branch 'fix_todo' into 'master'

fix a CI todo and some cleanup

See merge request !25
7 jobs for master in 201 minutes and 50 seconds (queued for 8 seconds)
latest
Status Job ID Name Coverage
  Make
passed run_make #9511
docker2

00:18:54

 
  Test
passed run_test #9512
docker2

00:44:26

 
  Doc
passed make_manual #9513
docker2

02:57:07

 
  Package Release
passed bundle_tar #9514
docker2

00:02:22

 
  Upload Release
passed upload_nightly #9515
docker2

00:02:44

 
  Curry Lang
passed link_nightly #9516
docker2

00:03:25

 
  Curry Lang Ci
passed downstream