[ci] Forward port CI changes from v1.x branch (#102)#103

ejgallego wants to merge 1 commit intoocaml-ppx:masterocaml-ppx/ppx_import:masterfrom

ejgallego:ci_forward_portejgallego/ppx_import:ci_forward_portCopy head branch name to clipboard