5 commits

Author	SHA1	Message	Date
Tom Hubrecht	88d9b8c3e3	chore: Add license and copyright information ... Signed-off-by: Tom Hubrecht <tom.hubrecht@dgnum.eu> Acked-by: Ryan Lahfa <ryan.lahfa@dgnum.eu> Acked-by: Maurice Debray <maurice.debray@dgnum.eu> Acked-by: Lubin Bailly <lubin.bailly@dgnum.eu> Acked-by: Jean-Marc Gailis <jean-marc.gailis@dgnum.eu> as the legal authority, at the time of writing, in DGNum. Acked-by: Elias Coppens <elias.coppens@dgnum.eu> as a member, at the time of writing, of the DGNum executive counsel.	2024-12-13 12:41:38 +01:00
Ryan Lahfa	25eee32a22	feat(scripts): introduce manual push script ... This way, we can send some closures if some of our members build them on more powerful machines. Signed-off-by: Ryan Lahfa <ryan@dgnum.eu>	2024-12-08 21:14:28 +01:00
sinavir	38231eb6e0	feat(attic): Bye bye attic	2024-10-06 18:33:04 +02:00
sinavir	60267b4ff6	feat: Update CI to use tvix-store	2024-07-29 14:31:42 +02:00
sinavir	9f2165abc8	feat(ci): Cache CI results	2024-04-12 22:14:20 +02:00