search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

news: 8.13+beta1 #159

Closed gares closed 3 years ago

gares commented 3 years ago

is there a CI here?

gares commented 3 years ago

locally it looks "ok" but I don't have a CSS, so... it mainly shows firefox can parse the tags

Zimmi48 commented 3 years ago

locally it looks "ok" but I don't have a CSS, so... it mainly shows firefox can parse the tags

You can do make run after make to have a relatively good preview of the final results.