Dimitri Papadopoulos a5adec1570 ci: Update GitHub Actions ...

https://github.com/actions/checkout
https://github.com/actions/setup-python

2022-09-13 07:58:03 +02:00

..

workflows

ci: Update GitHub Actions

2022-09-13 07:58:03 +02:00