45 commits

Author	SHA1	Message	Date
Tom Hubrecht	6ab3e4b685	fix(workflows): Correct typos	2024-11-11 18:01:44 +01:00
Tom Hubrecht	5f1436e4bf	feat(workflows): Switch to a nix-based definition of workflows	2024-11-11 17:57:23 +01:00
sinavir	1a05ea3a9a	feat(krz01): Move to lab-infra repo	2024-10-18 11:53:32 +02:00
Tom Hubrecht	9931c622b6	feat(workflows/eval): Add web03 to the list	2024-10-16 11:28:30 +02:00
Tom Hubrecht	d05c003fd6	feat(workflows/eval): Generalize the new script to all nodes	2024-10-10 00:58:41 +02:00
Tom Hubrecht	47ad002f12	feat(workflows/eval): Try to build and upload in one fell swoop	2024-10-09 21:34:22 +02:00
Tom Hubrecht	6b23df6b54	feat(workflows/eval): Try to build and upload in one fell swoop	2024-10-09 21:32:38 +02:00
Tom Hubrecht	fb610306ee	feat(workflows/eval): Add krz01 to the CI	2024-10-08 14:15:01 +02:00
sinavir	1e85547490	fix(ci): Push vault01 to cache too	2024-09-30 20:07:08 +02:00
Tom Hubrecht	9174965f28	feat(pre-commit): Switch to pre-push stage for linters	2024-09-12 20:14:16 +02:00
Tom Hubrecht	b70dd91eb2	fix(workflows): Run lint on pull_requests too	2024-08-17 18:00:10 +02:00
sinavir	53fe784b5a	feat(CI): build bridge01	2024-08-04 16:19:43 +02:00
sinavir	18175ad4ab	fix(CI): Upload artifact for all machines	2024-08-04 16:13:54 +02:00
sinavir	60267b4ff6	feat: Update CI to use tvix-store	2024-07-29 14:31:42 +02:00
Tom Hubrecht	22ef2cf79d	feat(ds-fr): Update version and workflow	2024-04-17 15:14:34 +02:00
Tom Hubrecht	eb7d4169cd	fix(workflows): Enable meta check on PRs	2024-04-14 18:38:42 +02:00
sinavir	9f2165abc8	feat(ci): Cache CI results	2024-04-12 22:14:20 +02:00
Tom Hubrecht	e9c6f0a2b6	feat(infra): Add checks for meta	2024-03-29 14:37:21 +01:00
Julien Malka	a99078a3b2	feat(infra): add ci for rescue01	2024-02-21 17:20:55 +01:00
Tom Hubrecht	c9428d618b	feat(workflows): Add a check on code	2024-02-02 10:51:55 +01:00
Tom Hubrecht	929cfa7344	Revert "feat(workflows/eval): Use streaming evaluator" ... This reverts commit baaf00e6ea.	2024-02-01 13:40:10 +01:00
Tom Hubrecht	baaf00e6ea	feat(workflows/eval): Use streaming evaluator	2024-02-01 13:37:38 +01:00
Tom Hubrecht	13bd2b301f	feat(workflows): Uses the bot token	2024-01-17 17:38:42 +01:00
Tom Hubrecht	fc0f4a603a	feat(machines): Init web02	2024-01-11 12:45:01 +01:00
Tom Hubrecht	13524c20f6	feat(machines): Init vault01	2024-01-10 15:00:18 +01:00
Tom Hubrecht	638e28ede3	feat(workflows/eval.yaml): Update types used for triggering the eval	2024-01-04 15:36:50 +01:00
Tom Hubrecht	f4fe84075c	fix(workflows): Use raw values	2023-12-22 18:25:30 +01:00
Tom Hubrecht	1984cf9bd3	feat(workflows): Regularly update ds-fr	2023-12-22 07:09:07 +01:00
Tom Hubrecht	4a2a8ecd91	feat(workflows): Run eval on push to main	2023-12-18 15:49:51 +01:00
Tom Hubrecht	ed3c927b9a	feat(workflows/eval): Separate the evaluation in 3 jobs	2023-12-15 22:18:33 +01:00
Tom Hubrecht	cad5da6d1d	feat(workflows/eval): Use nix runners	2023-12-15 20:12:50 +01:00
Tom Hubrecht	351ea9c90a	feat(workflows): Test	2023-12-15 15:24:21 +01:00
Tom Hubrecht	b2d87bbfbe	fix(workflows): Fix wording	2023-12-12 17:34:22 +01:00
Tom Hubrecht	3d4b40bb22	feat(workflows): Add a PR config build	2023-12-12 17:29:16 +01:00
Tom Hubrecht	c2435ee92b	fix(workflows): ???	2023-12-12 16:33:03 +01:00
Tom Hubrecht	86f53a54e6	fix(workflows): Correctly use git	2023-12-12 14:36:31 +01:00
Tom Hubrecht	85c60fb593	fix(workflows): And again.	2023-12-12 14:23:40 +01:00
Tom Hubrecht	d74e93a703	fix(workflows): And again	2023-12-12 14:13:53 +01:00
Tom Hubrecht	6f137c1dd5	fix(workflows): Another one?	2023-12-12 12:35:37 +01:00
Tom Hubrecht	450cac2fe8	fix(workflows): Another one	2023-12-12 11:42:26 +01:00
Tom Hubrecht	e41998705e	fix(workflows): Try again	2023-12-12 10:02:53 +01:00
Tom Hubrecht	567694a1dc	fix(workflow): Install less things	2023-12-11 16:02:44 +01:00
Tom Hubrecht	7b7ea46b94	feat(workflows): Run now	2023-12-11 15:55:06 +01:00
Tom Hubrecht	2ebb579a90	feat(workflows): Update the cron timer	2023-12-11 12:48:55 +01:00
Tom Hubrecht	828e9f2e71	feat(workflows): Add scheduled npins update	2023-12-11 11:29:39 +01:00