Marco 69c0bc484c Update github actions "checkout" and "upload-artifacts" to v4 ... The v3 actions use Node 16 which is now deprecated and will be phased out. To fix this we will use the v4 actions which are based on Node20. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/		2024-02-06 19:29:27 +01:00
..
main.yml	Update github actions "checkout" and "upload-artifacts" to v4	2024-02-06 19:29:27 +01:00
regenerate_symbols.yml	Update github actions "checkout" and "upload-artifacts" to v4	2024-02-06 19:29:27 +01:00