diff --git a/.github/workflows/update_docs.yml b/.github/workflows/update_docs.yml index c5f377a..ed97b02 100644 --- a/.github/workflows/update_docs.yml +++ b/.github/workflows/update_docs.yml @@ -2,10 +2,9 @@ name: CI on: -- pull_request: + pull_request: types: - closed -- workflow_dispatch jobs: if_merged: diff --git a/static/frontpage.html b/static/frontpage.html index 4a2e780..68dc801 100644 --- a/static/frontpage.html +++ b/static/frontpage.html @@ -227,7 +227,7 @@ a {