Skip to content
Build and deploy an updated version of the website

Remove emojis in admonition boxes, replace them with a textual descri… #606

Sign in to view logs

Remove emojis in admonition boxes, replace them with a textual descri…

Remove emojis in admonition boxes, replace them with a textual descri… #606

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
42s
Deploy to GitHub pages
14s
56s