infrastructure

108 commits 1 branch 0 tags 1.6 MiB

Author	SHA1	Message	Date
mdebray	7d11d6e8f8	Merge pull request 'init_web-01' (#1 ) from init_web-01 into main Reviewed-on: https://git.hubrecht.ovh/DGNum/infrastructure/pulls/1	2023-05-16 18:05:26 +00:00
sinavir	107dcbe83d	add satisfactory flake.nix	2023-05-12 17:05:25 +02:00
sinavir	6195c01e6e	Add some flakes in the codebase to satisfy jmalka	2023-05-12 16:56:34 +02:00
mdebray	b74ed6a17b	web-01: refactor disko import	2023-05-12 14:50:56 +00:00
mdebray	fbde3006e5	web-01: minimal config	2023-05-12 14:50:56 +00:00
mdebray	871f8e1e6a	web-01: create partionning scheme	2023-05-12 14:50:40 +00:00
sinavir	a46aa18e36	init reproducibilty	2023-05-11 19:35:02 +02:00
mdebray	33b67d4f65	Initial commit	2023-05-11 16:06:13 +00:00