PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.
Apache License 2.0
171 stars 29 forks source link

[TEMPLATE]: Fix Jekyll GitHub Metadata API Warning #52

Closed pitmonticone closed 1 month ago

pitmonticone commented 1 month ago

This PR fixes the following Jekyll-related warning.

image

Upstreamed from the EquationalTheories project.