Skip to content
Deploy GitHub Pages

⟦lexicon.md⟧: Changing the link to the HTML version, now using the Gi… #37

Sign in to view logs

⟦lexicon.md⟧: Changing the link to the HTML version, now using the Gi…

⟦lexicon.md⟧: Changing the link to the HTML version, now using the Gi… #37

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
23s
23s