Update GitHub Action Pipeline

[vestefano]

It is essential to update the current GitHub Action pipeline to ensure the efficiency and reliability of our development workflow. The existing pipeline may require enhancements or modifications to incorporate new features, fix bugs, or optimize performance. This update aims to streamline the development process, improve code quality, and enhance overall productivity. It involves assessing the current pipeline, identifying areas for improvement, implementing necessary changes, and testing the updated pipeline to ensure smooth operation. The update will help maintain the integrity of our development environment and facilitate seamless collaboration among team members.

See:

• https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/
• https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/