Tim Düsterhus 629fcb6a0f Update to actions/checkout@v3 (#9759) ...

The relevant difference is that the v3 uses a newer node.js version. GitHub
currently warns when using v2, as the node.js version used is deprecated:

> Node.js 12 actions are deprecated. For more information see:
> https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
> Please update the following actions to use Node.js 16: actions/checkout,
> actions/checkout

2022-10-16 15:33:07 +02:00

..

actions

Prepare for Windows CI with Github Actions

2022-10-09 18:44:59 +02:00

scripts

Prepare for Windows CI with Github Actions

2022-10-09 18:44:59 +02:00

workflows

Update to actions/checkout@v3 (#9759)

2022-10-16 15:33:07 +02:00

nightly_matrix.php

Increase job timeout for ASAN/UBSAN build

2022-10-10 11:35:51 +02:00