Juan Ramos 9a87635686 Update to actions/checkout@v3 ...

Fixes the following CI warning:

"Node.js 12 actions are deprecated. Please update the following
actions to use Node.js 16: actions/checkout@v2..."

Closes #2255

2023-03-03 14:47:15 +01:00

..

build.yml

Update to actions/checkout@v3

2023-03-03 14:47:15 +01:00