Merge branch 'master' into sho/multilet

Author: SeungheonOh

.github/workflows/changelog-label.yml

@@ -28,7 +28,7 @@ jobs:
           files: '**/changelog.d/**'
 
       - name: Enforce Label
-        uses: actions/github-script@main
+        uses: actions/github-script@v7.1.0
         if: github.event.pull_request.draft == false
         with:
           script: | 

.github/workflows/docusaurus-site.yml

@@ -1,7 +1,7 @@
 # This workflow builds and deploys the Docusaurus site.
 # 
 # On pull requests, this workflow builds the site and deploys a temporary preview
-# to gh-pages.
+# to gh-pages, but only if the relevant files have changed.
 #
 # On push to master or on workflow dispatch it deploys the site to: 
 # https://plutus.cardano.intersectmbo.org/docs
@@ -15,6 +15,9 @@ on:
       - master 
   workflow_dispatch:
   pull_request:
+    paths:
+      - 'doc/docusaurus/**'
+      - '.github/workflows/docusaurus-site.yml'
 
 jobs:
   run:
@@ -49,14 +52,15 @@ jobs:
           PR_NUMBER="${{ github.event.pull_request.number }}" 
           # These match the URL expected by rossjrw/[email protected]:
           export DOCUSAURUS_URL="https://plutus.cardano.intersectmbo.org"
-          export DOCUSAURUS_BASE_URL="/pr-preview/pr-${PR_NUMBER}"
+          export DOCUSAURUS_BASE_URL="/pr-preview/docs/pr-${PR_NUMBER}"
           nix develop --no-warn-dirty --accept-flake-config --command bash -c 'yarn && yarn build'
 
       - name: Deploy Preview Site 
-        if: github.event_name == 'pull_request' && github.event.action != 'closed'
+        if: github.event_name == 'pull_request'
         uses: rossjrw/[email protected]
         with:
           source-dir: doc/docusaurus/build
+          umbrella-dir: pr-preview/docs
 
 
 

.github/workflows/haddock-site.yml

@@ -74,8 +74,8 @@ jobs:
 
       - name: Delete Oldest Build
         run: |
-          # Delete the oldest haddock build if there are more than 11 builds.
-          if [[ $(ls -1A haddock | wc -l) -gt 11 ]]; then
+          # Delete the oldest haddock build if there are more than 10 builds.
+          if [[ $(ls -1A haddock | wc -l) -gt 10 ]]; then
             OLDEST_BUILD=$(ls -1A haddock | sort | head -n 1)
             rm -rf haddock/$OLDEST_BUILD
 

.github/workflows/manual-benchmark.yml

@@ -33,7 +33,7 @@ jobs:
           fetch-depth: 5
 
       - name: React With Rocket 
-        uses: actions/github-script@main
+        uses: actions/github-script@v7.1.0
         with:
           script: |
             github.rest.reactions.createForIssueComment({
@@ -45,7 +45,7 @@ jobs:
 
       - name: Extract Benchmark Name
         id: extract-benchmark
-        uses: actions/github-script@main
+        uses: actions/github-script@v7.1.0
         with:
           script: |
             const regex = /^\/benchmark\s*([^\s]*)\s*(ghc96|ghc98|ghc910)?\s*$/;
@@ -60,7 +60,7 @@ jobs:
 
       - name: Extract Branch Name
         id: extract-branch
-        uses: actions/github-script@main
+        uses: actions/github-script@v7.1.0
         with:
           script: | 
             async function isPullRequest() {
@@ -104,7 +104,7 @@ jobs:
             } 
 
       - name: Publish GH Action Link
-        uses: actions/github-script@main
+        uses: actions/github-script@v7.1.0
         with:
           script: | 
             async function getJobUrl() {
@@ -133,7 +133,7 @@ jobs:
 
 
       - name: Publish Results
-        uses: actions/github-script@main
+        uses: actions/github-script@v7.1.0
         with:
           script: | 
             const fs = require("fs");

.github/workflows/metatheory-site.yml

@@ -57,6 +57,20 @@ jobs:
         with:
           ref: ${{ inputs.ref || github.ref_name }}
 
+      - name: Delete Oldest Build
+        run: |
+          # Delete the oldest metatheory build if there are more than 10 builds.
+          if [[ $(ls -1A metatheory | wc -l) -gt 10 ]]; then
+            OLDEST_BUILD=$(ls -1A metatheory | sort | head -n 1)
+            rm -rf metatheory/$OLDEST_BUILD
+
+            git config user.name "github-actions[bot]"
+            git config user.email "github-actions[bot]@users.noreply.github.com"
+            git rm -r --cached metatheory/$OLDEST_BUILD || true
+            git commit -am "Delete oldest metatheory build $OLDEST_BUILD"
+            git push origin gh-pages
+          fi  
+
       - name: Build Site
         run: | 
           nix build --accept-flake-config .#metatheory-site

.github/workflows/papers-and-specs.yml

@@ -1,5 +1,8 @@
 # This workflow builds and deploys various papers.
 # 
+# On pull requests, this workflow builds the papers and deploys a temporary preview
+# to gh-pages, but only if the relevant files have changed.
+#
 # This workflow runs on all push to master and can also be triggered manually.
 # It deploys the artifacts to: https://plutus.cardano.intersectmbo.org/resources
 
@@ -10,6 +13,10 @@ on:
   push:
     branches:
       - master
+  pull_request:
+    paths:
+      - 'doc'
+      - '!doc/docusaurus/**'
 
 jobs:
   deploy:
@@ -42,8 +49,16 @@ jobs:
           done 
 
       - name: Publish Papers
+        if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'
         uses: JamesIves/[email protected]
         with:
           folder: _resources
           target-folder: resources
-          single-commit: true
+          single-commit: true
+
+      - name: Publish Preview Papers 
+        if: github.event_name == 'pull_request'
+        uses: rossjrw/[email protected]
+        with:
+          source-dir: _resources
+          umbrella-dir: pr-preview/resources

.github/workflows/slack-message-broker.yml

@@ -29,7 +29,7 @@ jobs:
     runs-on: [ubuntu-latest]
     steps:
       - name: Prepare Slack Message
-        uses: actions/github-script@main
+        uses: actions/github-script@v7.1.0
         id: prepare-slack-message
 
         with:

.github/workflows/triage-label.yml

@@ -15,7 +15,7 @@ jobs:
       issues: write
     steps:
       - name: Add Label
-        uses: actions/github-script@main
+        uses: actions/github-script@v7.1.0
         with:
           script: | 
             const INTERNAL_LABELS = ["Internal", "status: triaged"];

cabal.project

@@ -14,9 +14,9 @@ repository cardano-haskell-packages
 -- update either of these.
 index-state:
   -- Bump both the following dates if you need newer packages from Hackage
-  , hackage.haskell.org 2025-07-16T09:24:19Z
+  , hackage.haskell.org 2025-09-21T21:31:06Z
   -- Bump this if you need newer packages from CHaP
-  , cardano-haskell-packages 2025-08-27T16:08:15Z
+  , cardano-haskell-packages 2025-09-18T12:21:32Z
 
 packages: cardano-constitution
           plutus-benchmark

cardano-constitution/cardano-constitution.cabal

@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               cardano-constitution
-version:            1.53.0.0
+version:            1.54.0.0
 license:            Apache-2.0
 license-files:
   LICENSE
@@ -86,10 +86,10 @@ library
     , base               >=4.9   && <5
     , containers
     , filepath
-    , plutus-core        ^>=1.53
-    , plutus-ledger-api  ^>=1.53
-    , plutus-tx          ^>=1.53
-    , plutus-tx-plugin   ^>=1.53
+    , plutus-core        ^>=1.54
+    , plutus-ledger-api  ^>=1.54
+    , plutus-tx          ^>=1.54
+    , plutus-tx-plugin   ^>=1.54
     , regex-tdfa
     , safe
     , template-haskell
@@ -132,10 +132,10 @@ test-suite cardano-constitution-test
     , containers
     , directory
     , filepath
-    , plutus-core                      ^>=1.53
+    , plutus-core                      ^>=1.54
     , plutus-core:plutus-core-testlib
-    , plutus-ledger-api                ^>=1.53
-    , plutus-tx                        ^>=1.53
+    , plutus-ledger-api                ^>=1.54
+    , plutus-tx                        ^>=1.54
     , QuickCheck
     , serialise
     , tasty
@@ -152,4 +152,4 @@ executable create-json-envelope
   build-depends:
     , base
     , cardano-constitution
-    , plutus-ledger-api     ^>=1.53
+    , plutus-ledger-api     ^>=1.54