diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-08-25 13:44:22 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-08-25 13:44:22 +0200 |
| commit | ef28da8006814d49baead76feb2d2f9d06f0efea (patch) | |
| tree | cfccc921a43a53bf2eaf2eab9fefd388b3226af9 /LOGO_LICENSE.md | |
| parent | c7eb423eeb5455419bb96fc1ed8e8e121c2a619a (diff) | |
CI: Bump various GitHub actions to latest versions
actions/cache@v3
actions/checkout@v3
actions/upload-artifact@v3
actions/setup-dotnet@v2
actions/setup-java@v3
actions/setup-python@v4
mymindstorm/setup-emsdk@v11
Also reset cache keys as we're going to cleanup all caches.
Diffstat (limited to 'LOGO_LICENSE.md')
0 files changed, 0 insertions, 0 deletions