8 commits

Author	SHA1	Message	Date
uramer	d4d2112b06	Fail Teal generation on any error	2023-07-08 18:44:22 +02:00
uramer	c064e9ebf9	Find luarocks package installations in a more robust way	2023-02-20 19:39:33 +01:00
uramer	2cf6c5b3ce	Move generate_teal_declarations.sh to scripts/	2023-02-19 18:00:44 +01:00
uramer	4b54c06635	Remove debug luarocks show	2023-02-11 14:10:16 +01:00
uramer	c31d872f18	Use install_luadocumentor_in_docker for teal_ci	2023-02-11 14:10:16 +01:00
uramer	a8d32ebdca	Rename the build_teal script	2023-02-11 14:10:16 +01:00
uramer	7d4222b9ce	Zip the teal directory	2023-02-11 12:51:58 +01:00
uramer	75fcf53f7d	Teal CI	2023-02-11 12:51:58 +01:00