Merge #132

132: Update GitHub workflows r=almindor a=romancardenas

With all the bors thing going on, I've been reading a bit about merge queues etc. and noticed that some of our workflows still use outdated/deprecated actions. This PR fixes this.

Co-authored-by: Román Cárdenas <rcardenas.rod@gmail.com>