diff --git a/.github/workflows/pull-requests.yml b/.github/workflows/pull-requests.yml index 492eee982..232eb5269 100644 --- a/.github/workflows/pull-requests.yml +++ b/.github/workflows/pull-requests.yml @@ -21,7 +21,7 @@ jobs: steps: - uses: actions/checkout@v4 - name: Setup .NET Core - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 - name: Run CI run: dotnet fsi build.fsx diff --git a/.github/workflows/push-main.yml b/.github/workflows/push-main.yml index 10b5624a8..68e378b5e 100644 --- a/.github/workflows/push-main.yml +++ b/.github/workflows/push-main.yml @@ -17,7 +17,7 @@ jobs: steps: - uses: actions/checkout@v4 - name: Setup .NET Core - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 - name: Run CI run: dotnet fsi build.fsx - name: Deploy docs