Tom Parker-Shemilt
|
0524a09fbb
|
Remove extra spacing from CI config
|
3 weeks ago |
|
Tom Parker-Shemilt
|
5e8c558e88
|
Make key unique per run attempt
|
3 weeks ago |
|
Tom Parker-Shemilt
|
bafae0bdeb
|
Add always check
|
3 weeks ago |
|
Tom Parker-Shemilt
|
3107b04f30
|
Add branch ref by id
|
3 weeks ago |
|
Tom Parker-Shemilt
|
a548c5d235
|
Use upstream cache
|
3 weeks ago |
|
Tom Parker-Shemilt
|
6421cac7bf
|
Because they should only slightly diff from main
|
3 weeks ago |
|
Tom Parker-Shemilt
|
5fc9a996c8
|
Go back to the old, working cache
|
2 months ago |
|
Tom Parker-Shemilt
|
9151e08714
|
Results cache, not rust cache
|
2 months ago |
|
Tom Parker-Shemilt
|
aeac71fdfb
|
Use github run_id as "random" key
|
2 months ago |
|
Tom Parker-Shemilt
|
64ccfe3e52
|
Actions upgrade for node 16 issues
|
2 months ago |
|
Tom Parker-Shemilt
|
ccf576800c
|
Add issue templates
|
1 year ago |
|
Tom Parker-Shemilt
|
e95e3f7593
|
Upgrade always-upload-cache
|
1 year ago |
|
Tom Parker-Shemilt
|
ffdb3828c7
|
Upgrade actions
|
2 years ago |
|
Tom Parker-Shemilt
|
2f83054f6d
|
Remove npm cache
|
2 years ago |
|
Tom Parker-Shemilt
|
864208e1fe
|
Add ToC lint
|
2 years ago |
|
Tom Parker-Shemilt
|
87af5436c6
|
Upgrade results cache
|
2 years ago |
|
Tom Parker-Shemilt
|
807c4cd6dd
|
Fix token naming so we can do github actions faster
|
2 years ago |
|
Tom Parker-Shemilt
|
6a17b26a58
|
Re-enable run
|
2 years ago |
|
Tom Parker-Shemilt
|
2c951b59f0
|
Temporarily disable run to get cache fixed
|
2 years ago |
|
Tom Parker-Shemilt
|
69ea026f34
|
Rename primary branch to main
|
2 years ago |
|
Tom Parker-Shemilt
|
8537eec865
|
Fix/check format of checker
|
3 years ago |
|
Tom Parker-Shemilt
|
e3d0b8096c
|
Revert "Briefly remove run step to allow re-caching rust build"
This reverts commit c080cdceda.
|
3 years ago |
|
Tom Parker-Shemilt
|
c080cdceda
|
Briefly remove run step to allow re-caching rust build
|
3 years ago |
|
Tom Parker-Shemilt
|
1d403e2e42
|
Merge branch 'master' into popularity
|
3 years ago |
|
Tom Parker-Shemilt
|
b1290a03c2
|
Also auto-approve the lint run
|
3 years ago |
|
Tom Parker-Shemilt
|
bbba417d39
|
Also stash the popularity file
|
3 years ago |
William Desportes
|
95d7dd81df
|
Fix rust workflow
|
3 years ago |
|
William Desportes
|
7216091035
|
Improve approve workflow
|
3 years ago |
|
William Desportes
|
8cc83c00b8
|
Editorconfig fixes
|
3 years ago |
|
William Desportes
|
b6b8308034
|
Add a workflow
|
3 years ago |
|
William Desportes
|
19f398605b
|
Add a lint workflow for README.md
|
3 years ago |
|
Tom Parker-Shemilt
|
5e6acbe773
|
Update approve.yml
Upgrade automatic-approve-action to 1.1.0
|
3 years ago |
|
Tom Parker-Shemilt
|
300691be79
|
ci -> rust for workflow name
|
3 years ago |
|
Tom Parker-Shemilt
|
d81c5e948b
|
Upgrade auto-approve job
|
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 |