Bruce Mitchener d172fec64b Update to actions/checkout@v4 from v3 ...

This mainly updates the version of NodeJS used internally to keep
up with what's going on at GitHub Actions.

Closes #2447

This was adapted to 3.3-stable from
becf1dc14b.

2024-02-05 16:25:27 +01:00

..

build.yml

Update to actions/checkout@v4 from v3

2024-02-05 16:25:27 +01:00