Deploy release version with updated installation instructions

1 job for v4.2-dev in 1 minute and 33 seconds