Update CI files: - add another apt repository for spec test on x86-32 as some packages cannot be downloaded with the Github default repository - trigger the CI file when it is modified
Update CI files: - add another apt repository for spec test on x86-32 as some packages cannot be downloaded with the Github default repository - trigger the CI file when it is modified