44 Commits

Author	SHA1	Message	Date
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	ccf576800c	Add issue templates	2023-04-07 11:08:38 +01: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