From c0af0600cbfaf238839d6c8ec501d52d549bdb89 Mon Sep 17 00:00:00 2001 From: Gus Lipkin Date: Fri, 14 Aug 2026 20:35:14 -0600 Subject: [PATCH] use actions/checkout@v7 --- docs/publishing/github-pages.qmd | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/publishing/github-pages.qmd b/docs/publishing/github-pages.qmd index 39ef63c380..72413fefea 100644 --- a/docs/publishing/github-pages.qmd +++ b/docs/publishing/github-pages.qmd @@ -165,7 +165,7 @@ jobs: contents: write steps: - name: Check out repository - uses: actions/checkout@v4 + uses: actions/checkout@v7 - name: Set up Quarto uses: quarto-dev/quarto-actions/setup@v2 @@ -203,7 +203,7 @@ jobs: contents: write steps: - name: Check out repository - uses: actions/checkout@v4 + uses: actions/checkout@v7 - name: Set up Quarto uses: quarto-dev/quarto-actions/setup@v2 @@ -243,7 +243,7 @@ jobs: contents: write steps: - name: Check out repository - uses: actions/checkout@v4 + uses: actions/checkout@v7 - name: Set up Quarto uses: quarto-dev/quarto-actions/setup@v2 @@ -339,4 +339,4 @@ In addition to creating sites tied to various repositories, you can also create 1. Create a Git repo with the name `username.github.io` (where "username" is your GitHub username) and sync it to your local machine. -2. Set the **Source** branch for your user site to `gh-pages` as described in [Source Branch](#source-branch). \ No newline at end of file +2. Set the **Source** branch for your user site to `gh-pages` as described in [Source Branch](#source-branch).