fix error for tag release pipeline

10 jobs for master-setup-ci in 220 minutes and 53 seconds (queued for 218 minutes and 47 seconds)
Status Name Job ID Coverage
  Make
passed run_make #5704
docker2

00:19:35

 
  Test
passed check_version #5705

00:01:12

passed run_test #5706
docker2

00:48:14

 
  Doc
passed make_manual #5707
docker2

03:10:38

 
  Package Release
passed bundle_tar #5708
docker2

00:02:21

 
  Upload Release
passed upload_page_tar #5710
docker2

00:01:18

passed upload_release #5709
docker2

00:02:33

 
  Tag Release
passed tag_release #5711
docker2

00:02:15

 
  Curry Lang
passed link_release #5712
docker2

00:02:16

 
  Curry Lang Ci
passed downstream