13 Commits

Author	SHA1	Message	Date
adelaett	7d50d89f7a	nix build now uses cache	2023-02-24 19:38:50 +01:00
adelaett	93aa6f0922	update CI to run catala's tests	2023-02-24 15:16:23 +01:00
Louis Gesbert	b28583fb71	CI: Disable (broken) ubuntu builds ... the routine builds on PRs are fine and the issue seems to come from the complex container ubuntu/OCaml setup	2022-07-27 14:41:22 +02:00
Louis Gesbert	dfccf8e139	Run all CI tests through a Docker container ... Also reworks some dependency handling	2022-07-20 12:05:17 +02:00
lIlIlIlIIIIlIIIllIIlIllIIllIII	26ac1dc1bd	modification on github actions to make it compatible with flakes	2022-05-30 15:51:26 +02:00
Denis Merigoux	8f1dae73a2	Restore CI	2022-05-05 14:06:56 +02:00
Denis Merigoux	ad7fe6a21a	Use pandoc to prettify a lot the LaTeX document with tables	2022-04-29 23:47:02 +02:00
Denis Merigoux	897a282b70	Default is witout Z3	2022-03-09 17:00:53 +01:00
Emile Rolley	360bbfa65f	Merge branch 'master' into refactor-clerk-w-ninja	2022-02-08 16:16:18 +01:00
Emile Rolley	7c5c6ef6fa	fix(ci): add ninja-build as an executable dependencies	2022-02-08 16:14:55 +01:00
Denis Merigoux	36777a06f5	All dependencies in Ubuntu build	2022-02-04 14:46:33 +01:00
Denis Merigoux	04bf50e3cf	Manual execution of builds	2022-02-03 19:47:42 +01:00
Denis Merigoux	1b4ce93eae	Added ubuntu long build	2022-02-03 19:45:52 +01:00