4 commits

Author	SHA1	Message	Date
David Négrier	3d12520b3c	Fixing missing script files in website	2021-04-11 23:45:10 +02:00
David Négrier	ad50e30598	Running Github Actions every time (not only on master)	2021-04-11 23:40:39 +02:00
David Négrier	b0d12ed9b0	Reworking deployment script	2021-04-11 23:36:06 +02:00
David Négrier	593363a42b	Adding GH pages build to optimize maps	2020-07-03 23:58:32 +02:00