Closed bertrand-lorentz closed 8 months ago
Those versions use Node.js 20, so this gets rid of the warning about Node.js 16 actions being deprecated.
Merging without review, as it's just a version bum in the workflows.
Those versions use Node.js 20, so this gets rid of the warning about Node.js 16 actions being deprecated.