dni ⚡ c54f48ee73
[CI] improve on github workflows (#1889)
* [CI] making a proper github CI workflow
2023-08-24 12:36:37 +02:00
..
2022-07-22 11:23:16 +01:00