From 2f662c95703ceb3766a2cc57a4a592ba4f349ec2 Mon Sep 17 00:00:00 2001 From: "Junyoung/\"Clare\" Jang" Date: Sat, 16 Nov 2024 17:36:36 -0500 Subject: [PATCH] Fix homepage title (#263) --- .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"