Commit Graph

10 Commits

Author SHA1 Message Date
Jean-Michel Picod
49182c531a Add new python dependency 2020-03-12 13:23:54 +01:00
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