We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d8c5974 commit 50b94b5Copy full SHA for 50b94b5
.github/workflows/weekly_blog_and_website_report.yml
@@ -27,7 +27,7 @@ jobs:
27
- name: Checkout blog
28
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
29
with:
30
- repository: 'leanprover-community/leanprover-community.github.io'
+ repository: 'leanprover-community/blog'
31
path: blog
32
33
- name: Produce tables
0 commit comments