refresh ci configuration for 8.14, remove old boilerplate

coq-community / coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

https://madiot.fr/coq100/

Other

55 stars 14 forks source link

Closed palmskog closed 2 years ago

palmskog commented 2 years ago

@jmadiot can I merge this and #29? Content should be uncontroversial.

jmadiot commented 2 years ago

@palmskog sorry, I missed those. Yes, you can go ahead and merge this type of PR without waiting for me.