Jean-Michel Picod
|
51b0e0f48a
|
Revert debug mode
|
2020-02-25 09:58:52 +01:00 |
|
Jean-Michel Picod
|
89d15f5759
|
Fix tput stopping the workflow
|
2020-02-25 09:36:20 +01:00 |
|
Jean-Michel Picod
|
1113410195
|
Debug why Github workflow is failing here
|
2020-02-25 09:27:57 +01:00 |
|
Jean-Michel Picod
|
dbde04df45
|
Fix setup script for Github
|
2020-02-24 19:34:39 +01:00 |
|
Jean-Michel Picod
|
a73837cb59
|
Fix undefined term in Github workflows
|
2020-02-24 19:31:37 +01:00 |
|
Julien Cretin
|
53b46ce6d5
|
Add instructions to re-run setup.sh
|
2020-02-10 11:30:45 +01:00 |
|
Julien Cretin
|
796261d538
|
Check that rustup and pip3 are installed
Fixes #25
|
2020-02-09 16:30:23 +01:00 |
|
Jean-Michel
|
ad3a016eee
|
Adding missing shebang
|
2020-01-31 21:02:09 +01:00 |
|
Jean-Michel Picod
|
f91d2fd3db
|
Initial commit
|
2020-01-30 11:47:29 +01:00 |
|