Updating gitlab-ci file since the sysadmins removed the izar partition
parent
dc659d50
No related branches found
No related tags found
Pipeline #249675 passed
Stage: .pre
Stage: environment
Stage: compilers
Stage: concretize
Stage: install
Stage: .post