3 Commits

Author	SHA1	Message	Date
tastytea	7316355f68	Re-generate website on push to main.	2020-10-19 05:18:06 +02:00
tastytea	3c32f638da	Don't trigger CI on pushes to web*.	2020-10-18 08:42:56 +02:00
tastytea	efa96ece3f	Add CI.	2020-10-18 02:58:13 +02:00