Temporarily switch to customized pymbolic branch for CI