From c79758ec07875b35a23da38ce82040d234efda50 Mon Sep 17 00:00:00 2001 From: Michel Pelletier Date: Wed, 10 Jun 2026 11:36:57 -0700 Subject: [PATCH 1/2] ci: create a GitHub Release automatically on tag push The release workflow only published to PGXN; the GitHub Release steps were commented out and used actions/create-release + actions/upload-release-asset, which GitHub archived in 2021, plus an empty latest-changes.md for the body. Replace them with the maintained softprops/action-gh-release@v2, which creates the release for the pushed tag, uploads the pgxn-bundle archive as an asset, and auto-generates release notes. Grant the job contents:write so the token can create the release. Co-Authored-By: Claude Opus 4.8 (1M context) --- .github/workflows/release.yml | 21 +++++++-------------- 1 file changed, 7 insertions(+), 14 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 0256c08..0c75f46 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -6,6 +6,8 @@ jobs: release: name: Release on GitHub and PGXN runs-on: ubuntu-latest + permissions: + contents: write container: pgxn/pgxn-tools env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} @@ -19,17 +21,8 @@ jobs: run: pgxn-bundle - name: Release on PGXN run: pgxn-release - # - name: Create GitHub Release - # id: release - # uses: actions/create-release@v1 - # with: - # tag_name: ${{ github.ref }} - # release_name: Release ${{ github.ref }} - # body_path: latest-changes.md - # - name: Upload Release Asset - # uses: actions/upload-release-asset@v1 - # with: - # upload_url: ${{ steps.release.outputs.upload_url }} - # asset_path: ./${{ steps.bundle.outputs.bundle }} - # asset_name: ${{ steps.bundle.outputs.bundle }} - # asset_content_type: application/zip + - name: Create GitHub Release + uses: softprops/action-gh-release@v2 + with: + files: ./${{ steps.bundle.outputs.bundle }} + generate_release_notes: true From a24cb51391b873053d0dd731c75b2d88ecc49354 Mon Sep 17 00:00:00 2001 From: Michel Pelletier Date: Wed, 10 Jun 2026 11:55:50 -0700 Subject: [PATCH 2/2] ci: remove the broken duplicate GitHub Pages workflows Both pages.yml and jekyll-gh-pages.yml were copies of the GitHub Pages starter template configured with `source: ./docs`, but the repository has no `docs/` directory and no Jekyll config. As a result the "Deploy Jekyll" workflow failed on every push to main (the github-pages build aborts with "No such file or directory - .../docs"), and pages.yml targeted a `master` branch that does not exist, so it never ran. Building from the repository root is not an option either: the github-pages gem refuses it ("Destination directory cannot be or contain the Source directory") because the `_site` output lives inside the source root. Neither workflow has ever produced a site, so remove both to stop the perennial failed deploy. GitHub Pages can be reintroduced later with a real docs source if desired. Co-Authored-By: Claude Opus 4.8 (1M context) --- .github/workflows/jekyll-gh-pages.yml | 50 --------------------------- .github/workflows/pages.yml | 50 --------------------------- 2 files changed, 100 deletions(-) delete mode 100644 .github/workflows/jekyll-gh-pages.yml delete mode 100644 .github/workflows/pages.yml diff --git a/.github/workflows/jekyll-gh-pages.yml b/.github/workflows/jekyll-gh-pages.yml deleted file mode 100644 index 9adc542..0000000 --- a/.github/workflows/jekyll-gh-pages.yml +++ /dev/null @@ -1,50 +0,0 @@ -# Sample workflow for building and deploying a Jekyll site to GitHub Pages -name: Deploy Jekyll with GitHub Pages dependencies preinstalled - -on: - # Runs on pushes targeting the default branch - push: - branches: ["main"] - - # Allows you to run this workflow manually from the Actions tab - workflow_dispatch: - -# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages -permissions: - contents: read - pages: write - id-token: write - -# Allow one concurrent deployment -concurrency: - group: "pages" - cancel-in-progress: true - -jobs: - # Build job - build: - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: Setup Pages - uses: actions/configure-pages@v5 - - name: Build with Jekyll - uses: actions/jekyll-build-pages@v1 - with: - source: ./docs - destination: ./_site - - name: Upload artifact - uses: actions/upload-pages-artifact@v3 - - # Deployment job - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - needs: build - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4 diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml deleted file mode 100644 index 4c416f1..0000000 --- a/.github/workflows/pages.yml +++ /dev/null @@ -1,50 +0,0 @@ -# Sample workflow for building and deploying a Jekyll site to GitHub Pages -name: Deploy Jekyll with GitHub Pages dependencies preinstalled - -on: - # Runs on pushes targeting the default branch - push: - branches: ["master"] - - # Allows you to run this workflow manually from the Actions tab - workflow_dispatch: - -# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages -permissions: - contents: read - pages: write - id-token: write - -# Allow one concurrent deployment -concurrency: - group: "pages" - cancel-in-progress: true - -jobs: - # Build job - build: - runs-on: ubuntu-latest - steps: - - name: Checkout - uses: actions/checkout@v4 - - name: Setup Pages - uses: actions/configure-pages@v5 - - name: Build with Jekyll - uses: actions/jekyll-build-pages@v1 - with: - source: ./docs - destination: ./_site - - name: Upload artifact - uses: actions/upload-pages-artifact@v3 - - # Deployment job - deploy: - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest - needs: build - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4