William Desportes
|
95d7dd81df
|
Fix rust workflow
|
3 years ago |
|
William Desportes
|
8cc83c00b8
|
Editorconfig fixes
|
3 years ago |
Tom Parker-Shemilt
|
57ab1146aa
|
Cron jobs to auto-approve for running, and retest the list
|
3 years ago |
|
Tom Parker-Shemilt
|
e7b335d8dd
|
Re-enable cargo run
|
3 years ago |
|
Tom Parker-Shemilt
|
9eb11c267a
|
Temporarily skip cargo run so we can cache
|
3 years ago |
|
Tom Parker-Shemilt
|
f734e1aa76
|
id -> name
|
3 years ago |
|
Tom Parker-Shemilt
|
3e00c49471
|
Generate random cache ids so we can re-run for improved results
|
3 years ago |
|
Tom Parker-Shemilt
|
9c7fcb5468
|
Remove set step
|
3 years ago |
|
Tom Parker-Shemilt
|
08444b5a99
|
Check environment variables
|
3 years ago |
|
Tom Parker-Shemilt
|
6a317fd650
|
Further nesting of restore-keys so we can always save results
|
3 years ago |
|
Tom Parker-Shemilt
|
48c7a6ced6
|
Fix path to always-upload-cache
|
3 years ago |
|
Tom Parker-Shemilt
|
e6687352f7
|
Always save the results cache, even on failure
|
3 years ago |
|
Tom Parker-Shemilt
|
5b46fba714
|
Add run as separate step
|
3 years ago |
|
Tom Parker-Shemilt
|
4d36decd44
|
Just do the build step for cargo
|
3 years ago |
|
Tom Parker-Shemilt
|
09d65b45e8
|
Add Github token secret to the environment variables
|
3 years ago |
|
Tom Parker-Shemilt
|
80e35f47c3
|
Upgrade almost all the deps
|
3 years ago |
|
Tom Parker-Shemilt
|
b3606ee454
|
Add lots of caching to github build
|
3 years ago |
Lukáš Hozda [magnusi]
|
766bf265b1
|
Add gtihub actions
|
3 years ago |