Commit graph

49 commits

Author SHA1 Message Date
Tom Parker-Shemilt
0524a09fbb Remove extra spacing from CI config 2024-04-24 21:19:36 +01:00
Tom Parker-Shemilt
5e8c558e88 Make key unique per run attempt 2024-04-24 21:18:55 +01:00
Tom Parker-Shemilt
bafae0bdeb Add always check 2024-04-24 21:14:52 +01:00
Tom Parker-Shemilt
3107b04f30 Add branch ref by id 2024-04-24 21:13:11 +01:00
Tom Parker-Shemilt
a548c5d235 Use upstream cache 2024-04-24 21:10:15 +01:00
Tom Parker-Shemilt
6421cac7bf Because they should only slightly diff from main 2024-04-24 21:00:47 +01:00
Tom Parker-Shemilt
5fc9a996c8 Go back to the old, working cache 2024-03-17 14:04:43 +00:00
Tom Parker-Shemilt
9151e08714 Results cache, not rust cache 2024-03-17 14:04:13 +00:00
Tom Parker-Shemilt
aeac71fdfb Use github run_id as "random" key 2024-03-17 13:58:02 +00:00
Tom Parker-Shemilt
64ccfe3e52 Actions upgrade for node 16 issues 2024-03-17 13:52:20 +00:00
Tom Parker-Shemilt
e95e3f7593 Upgrade always-upload-cache 2023-02-18 22:00:05 +00:00
Tom Parker-Shemilt
ffdb3828c7 Upgrade actions 2022-11-06 18:29:11 +00:00
Tom Parker-Shemilt
2f83054f6d Remove npm cache 2022-07-31 20:23:28 +01:00
Tom Parker-Shemilt
864208e1fe Add ToC lint 2022-07-31 20:21:26 +01:00
Tom Parker-Shemilt
87af5436c6 Upgrade results cache 2022-06-13 09:38:37 +01:00
Tom Parker-Shemilt
807c4cd6dd Fix token naming so we can do github actions faster 2022-06-11 10:40:33 +01:00
Tom Parker-Shemilt
6a17b26a58 Re-enable run 2022-06-11 10:33:22 +01:00
Tom Parker-Shemilt
2c951b59f0 Temporarily disable run to get cache fixed 2022-06-11 10:29:34 +01:00
Tom Parker-Shemilt
69ea026f34 Rename primary branch to main 2022-06-11 10:17:08 +01:00
Tom Parker-Shemilt
8537eec865 Fix/check format of checker 2021-10-16 21:57:20 +01:00
Tom Parker-Shemilt
e3d0b8096c Revert "Briefly remove run step to allow re-caching rust build"
This reverts commit c080cdceda.
2021-08-16 20:21:50 +01:00
Tom Parker-Shemilt
c080cdceda Briefly remove run step to allow re-caching rust build 2021-08-16 20:18:59 +01:00
Tom Parker-Shemilt
1d403e2e42 Merge branch 'master' into popularity 2021-08-16 19:58:29 +01:00
Tom Parker-Shemilt
b1290a03c2 Also auto-approve the lint run 2021-08-14 12:04:07 +01:00
Tom Parker-Shemilt
bbba417d39 Also stash the popularity file 2021-08-10 23:55:13 +01:00
William Desportes
95d7dd81df
Fix rust workflow 2021-08-08 21:06:14 +02:00
William Desportes
7216091035
Improve approve workflow 2021-08-08 21:05:12 +02:00
William Desportes
8cc83c00b8
Editorconfig fixes 2021-08-08 20:57:44 +02:00
William Desportes
b6b8308034
Add a workflow 2021-08-08 20:35:55 +02:00
William Desportes
19f398605b
Add a lint workflow for README.md 2021-08-08 15:24:25 +02:00
Tom Parker-Shemilt
5e6acbe773
Update approve.yml
Upgrade automatic-approve-action to 1.1.0
2021-06-15 14:41:36 +01:00
Tom Parker-Shemilt
300691be79 ci -> rust for workflow name 2021-06-14 09:06:55 +01:00
Tom Parker-Shemilt
d81c5e948b Upgrade auto-approve job 2021-06-14 09:05:22 +01:00
Tom Parker-Shemilt
57ab1146aa Cron jobs to auto-approve for running, and retest the list 2021-06-13 15:51:37 +01:00
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