Commit eea9f638e26aba97e6731600cdfb411a8ca27c87

Pierre Wendling 2022-10-12T18:51:59

CI: Update to actions/checkout@v3.