From 793a39360809c9374534dbb85a08061a0133d369 Mon Sep 17 00:00:00 2001 From: Junyoung/Clare Jang Date: Sat, 16 Nov 2024 17:28:13 -0500 Subject: [PATCH] Fix homepage title --- .github/workflows/ci_build.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci_build.yaml b/.github/workflows/ci_build.yaml index 8639cf2..d354aca 100644 --- a/.github/workflows/ci_build.yaml +++ b/.github/workflows/ci_build.yaml @@ -74,7 +74,7 @@ jobs: cp assets/styling.css html/styling.css cp -r assets/images html/images sed -i 's!\[Coqdoc\](https://beluga-lang\.github\.io/McTT/dep\.html)![Coqdoc](dep.html)!' README.md - pandoc README.md -H assets/include.html --no-highlight --metadata pagetitle='McTT: A Bottom-up Approach to Implementing A Proof Assistant' -t html --css styling.css -o html/index.html + pandoc README.md -H assets/include.html --no-highlight --metadata pagetitle='McTT: Building A Correct-By-Construction Proof Checkers For Type Theories' -t html --css styling.css -o html/index.html fi endGroup startGroup "Run inline tests"