Cubulation of some triangle-free Artin groups

We prove that some classes of triangle-free Artin groups act properly on locally finite, finite-dimensional CAT(0) cube complexes. In particular, this provides the first examples of Artin groups that are properly cubulated but cannot be cocompactly cubulated, even virtually. The existence of such a proper action has many interesting consequences for the group, notably the Haagerup property, and the Baum-Connes conjecture with coefficients.