stilobique 95371ef1e3 Clear unused workflow ...

Update the main pull request workflow

2022-02-01 16:24:18 +01:00

..

workflows

Clear unused workflow

2022-02-01 16:24:18 +01:00

version.py

Add the CI github workflow

2022-01-25 15:13:37 +01:00