Commit graph

15 commits

Author SHA1 Message Date
Tom Parker-Shemilt
e7b335d8dd Re-enable cargo run 2021-06-13 15:37:01 +01:00
Tom Parker-Shemilt
9eb11c267a Temporarily skip cargo run so we can cache 2021-06-13 15:33:16 +01:00
Tom Parker-Shemilt
f734e1aa76 id -> name 2021-05-05 23:14:25 +01:00
Tom Parker-Shemilt
3e00c49471 Generate random cache ids so we can re-run for improved results 2021-05-05 23:13:41 +01:00
Tom Parker-Shemilt
9c7fcb5468 Remove set step 2021-05-05 23:05:06 +01:00
Tom Parker-Shemilt
08444b5a99 Check environment variables 2021-05-05 23:01:49 +01:00
Tom Parker-Shemilt
6a317fd650 Further nesting of restore-keys so we can always save results 2021-05-05 22:58:01 +01:00
Tom Parker-Shemilt
48c7a6ced6 Fix path to always-upload-cache 2021-05-05 22:51:43 +01:00
Tom Parker-Shemilt
e6687352f7 Always save the results cache, even on failure 2021-05-05 22:50:09 +01:00
Tom Parker-Shemilt
5b46fba714 Add run as separate step 2021-05-05 22:45:44 +01:00
Tom Parker-Shemilt
4d36decd44 Just do the build step for cargo 2021-05-05 22:34:47 +01:00
Tom Parker-Shemilt
09d65b45e8 Add Github token secret to the environment variables 2021-05-05 22:29:32 +01:00
Tom Parker-Shemilt
80e35f47c3 Upgrade almost all the deps 2021-05-05 22:21:23 +01:00
Tom Parker-Shemilt
b3606ee454 Add lots of caching to github build 2021-05-05 22:04:07 +01:00
Lukáš Hozda [magnusi]
766bf265b1
Add gtihub actions 2021-01-31 13:46:10 +01:00