diff options
| author | Dirk Stolle <[email protected]> | 2023-05-08 23:28:01 +0200 |
|---|---|---|
| committer | Dirk Stolle <[email protected]> | 2023-05-08 23:28:01 +0200 |
| commit | 5df263db38c593ca6946a854c4b53e6224285332 (patch) | |
| tree | f397d9357ca9ff11efe6497895e4df91ba619e3d /docs/modules/ROOT/pages | |
| parent | d0703f83dbe0099c3dca0c912d873365a2188018 (diff) | |
Update GitHub Actions CI
The following updates are performed:
* update actions/cache to v3
* update actions/checkout to v3
Diffstat (limited to 'docs/modules/ROOT/pages')
0 files changed, 0 insertions, 0 deletions