Commit graph

7 commits

Author SHA1 Message Date
Fardale
79bbb5ce33 ci: fix cache key for gh-pages 2021-04-03 20:27:44 +02:00
Fardale
701a558676 ci: fix cache for gh-pages job 2021-04-03 20:25:54 +02:00
Fardale
b2342ead0a ci: update ocaml version for gh-pages 2021-04-03 16:41:54 +02:00
Fardale
f313361df7 try to fix CI for gh-pages 2021-01-26 12:03:12 +01:00
Fardale
5520735a77 fix: enable jekyll on gh-pages 2021-01-26 11:55:50 +01:00
Fardale
179d19e444 fix(CI): correct the name of the main branch 2021-01-26 11:43:07 +01:00
Fardale
b34c3fe75a try to enable auto deploy of doc 2021-01-26 11:41:44 +01:00