Andrea Fioraldi
|
753d1e5381
|
Fix publish.sh
|
2021-08-20 09:39:57 +02:00 |
|
Andrea Fioraldi
|
7ca7b3c9f6
|
Update publish script
|
2021-08-18 11:34:44 +02:00 |
|
julihoh
|
7581885d52
|
prepare concolic support crates for publishing to crates.io (#250)
* prepare concolic support crates for publishing to crates.io
* provide some bare-bones READMEs
|
2021-08-06 17:49:57 +02:00 |
|
Andrea Fioraldi
|
5b0c178ed6
|
Increase sleep in publis.sh
|
2021-07-05 14:55:27 +02:00 |
|
Andrea Fioraldi
|
921baf74b5
|
Update publish.sh with sleeps
|
2021-05-20 14:20:51 +02:00 |
|
Andrea Fioraldi
|
f0b5ab5ef0
|
Create a scripts folder
|
2021-05-20 14:17:14 +02:00 |
|