29 commits

Author	SHA1	Message	Date
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	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	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	8cc83c00b8	Editorconfig fixes	2021-08-08 20:57:44 +02: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