PauRE 296c3da152 Ci improvements (#87) ...

* Fix git clone to clone specific tag
* Simplify CI artifacts
* Add download artifacts script
* Fix assets filenames for the release

2022-08-01 23:49:54 +02:00

..

download-artifacts.sh

Ci improvements (#87)

2022-08-01 23:49:54 +02:00