check

Author: databasedav

.github/workflows/cleanup_pr_previews.yaml

@@ -18,7 +18,6 @@ jobs:
         attempt-limit: 100
         commit-message: cleaning up pr preview for https://github.com/databasedav/haalka/pull/${{ env.PR }}
         folder: empty_dir
-        force: false
         single-commit: true
         target-folder: pr_previews/${{ env.PR }}
 name: cleanup_pr_previews

.github/workflows/examples_on_main.yaml

@@ -68,7 +68,6 @@ jobs:
         attempt-limit: 100
         commit-message: https://github.com/databasedav/haalka/commit/${{ github.sha }}
         folder: pages
-        force: false
         single-commit: true
         target-folder: examples
   get_examples_:

.github/workflows/pr_previews.yaml

@@ -68,7 +68,6 @@ jobs:
         attempt-limit: 100
         commit-message: https://github.com/databasedav/haalka/pull/${{ github.event.number }}/commits/${{ github.event.pull_request.head.sha }}
         folder: pages
-        force: false
         single-commit: true
         target-folder: pr_previews/${{ github.event.number }}
   deployment_comment:

kaaj/src/cleanup_pr_previews.ncl

@@ -32,7 +32,6 @@ fun repo =>
               uses = "JamesIves/github-pages-deploy-action@v%{ GITHUB_PAGES_DEPLOY_ACTION_VERSION }",
               with = {
                 folder = "empty_dir",
-                force = false,
                 attempt-limit = GITHUB_PAGES_DEPLOY_ACTION_ATTEMPT_LIMIT,
                 target-folder = "pr_previews/${{ env.PR }}",
                 commit-message = "cleaning up pr preview for %{ repo }/pull/${{ env.PR }}",

kaaj/src/common.ncl

@@ -152,7 +152,6 @@ let install_nickel_ = {
           uses = "JamesIves/github-pages-deploy-action@v%{ GITHUB_PAGES_DEPLOY_ACTION_VERSION }",
           with = {
             folder = "pages",
-            force = false,
             attempt-limit = GITHUB_PAGES_DEPLOY_ACTION_ATTEMPT_LIMIT,
             target-folder = if pr != "" then "pr_previews/%{ pr }" else "examples",
             commit-message = if pr != "" then "%{ repo }/pull/%{ pr }/commits/${{ github.event.pull_request.head.sha }}" else "%{ repo }/commit/${{ github.sha }}",