4 Commits

Author	SHA1	Message	Date
Franck Royer	9973216393	Set git identity to auto-deploy pages from main	2021-04-23 15:52:02 +10:00
Franck Royer	d42355db15	Add web CI to bors check list	2021-04-23 15:24:30 +10:00
Franck Royer	7ed6f68ec7	Install before deploy	2021-04-23 08:46:07 +10:00
Franck Royer	8b4caeaa3f	Automatically deploy latest main on gh pages	2021-04-22 21:45:30 +10:00