search

tirix / metamath-blueprints

Metamath Blueprints
4 stars 4 forks source link

Markup fixes #2

Closed jkingdon closed 3 months ago

jkingdon commented 3 months ago

  1. Use a shorter title because the site generation code truncates

  2. Fix link syntax

tirix commented 3 months ago

Now the build part of the CI is also run on the PR, but not the deploy, so you can check the changes.

tirix commented 3 months ago

I've invited you as a collaborator, so you can merge your own PR when they are ready.

jkingdon commented 3 months ago

Now the build part of the CI is also run on the PR, but not the deploy, so you can check the changes.

Ah, got it. I seem to be able to find the built files in an artifact download.

tirix commented 3 months ago

If you prefer you can also build locally, the builder is metamath-blueprints-rs.