fix open AST

11 jobs for kvx-merge-3.9
latest
Status Job ID Name Coverage
  Build
passed #228586
manual
build_aarch64

00:26:27

passed #228587
manual
build_arm

01:02:14

passed #228588
manual
build_armhf

01:00:59

passed #228585
manual
build_ia32

00:50:17

failed #228593
manual
build_kvx

00:00:47

failed #228589
manual
build_ppc

00:08:53

failed #228590
manual
build_ppc64

00:08:44

passed #228592
manual
build_rv32

00:09:51

passed #228591
manual
build_rv64

00:29:48

passed #228584
manual
build_x86_64

00:26:21

passed #228583
manual
check-admitted

00:01:16

 
Name Stage Failure
failed
build_kvx Build
Processing triggers for libc-bin (2.28-10) ...
$ ./.download_from_Kalray.sh
ssh: connect to host ssh.kalray.eu port 22: Connection timed out
Connection closed
Connection closed.
tar: DEB.tar: Cannot open: No such file or directory
tar: Error is not recoverable: exiting now
Cleaning up file based variables
ERROR: Job failed: exit code 1
failed
build_ppc64 Build
Error: Unbound constructor Tint
make[2]: *** [Makefile.extr:149: powerpc/Machregsaux.cmx] Error 2
make[2]: *** Waiting for unfinished jobs....
make[2]: Leaving directory '/builds/certicompil/compcert-kvx'
make[1]: *** [Makefile:218: ccomp] Error 2
make[1]: Leaving directory '/builds/certicompil/compcert-kvx'
make: *** [Makefile:190: all] Error 2
Cleaning up file based variables
ERROR: Job failed: exit code 1
failed
build_ppc Build
Error: Unbound constructor Tint
make[2]: *** [Makefile.extr:150: powerpc/Machregsaux.cmx] Error 2
make[2]: *** Waiting for unfinished jobs....
make[2]: Leaving directory '/builds/certicompil/compcert-kvx'
make[1]: *** [Makefile:218: ccomp] Error 2
make[1]: Leaving directory '/builds/certicompil/compcert-kvx'
make: *** [Makefile:190: all] Error 2
Cleaning up file based variables
ERROR: Job failed: exit code 1