chore(book): update assets for mdbook-admonish

zksecurity / noname

Noname: a programming language to write zkapps

https://zksecurity.github.io/noname/

181 stars 47 forks source link

chore(book): update assets for mdbook-admonish #91

Closed eightfilms closed 4 months ago

eightfilms commented 4 months ago

Fixes CI failure https://github.com/zksecurity/noname/actions/runs/9351865454/job/25738649882

Manually ran the command mdbook-admonish install found in the log and committed the changes.

katat commented 4 months ago

Thanks! I am wondering if we have to update these html files? They seem to be generated by the mdbook. @mimoo

eightfilms commented 4 months ago

@katat Yeah it was auto-generated. I did a rough check by running mdbook serve locally and browsed a few pages to see if anything messed up and it doesn't appear to be, you might want to check too perhaps?

katat commented 4 months ago

Ok, then we can exclude these html changes from this PR. I think they will be overwritten by the action builds.

eightfilms commented 4 months ago

sure, let me fix this up.

eightfilms commented 4 months ago

fixed!

katat commented 4 months ago

Thanks so much!