Merge 008cb13 into 89ee74f

IntersectMBO · Jul 25, 2024 · 6288287 · 6288287
2 parents 89ee74f + 008cb13
commit 6288287
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -83,19 +83,20 @@ jobs:
             directory: .
 
       - name: Commit haskell package
-        if: github.ref == 'refs/heads/master'
         run: |
             nix-build -A ledger.hsSrc -j1 -o outputs/ledgerSrc
+            git config user.name 'github-actions[bot]'
+            git config user.email 'github-actions[bot]@users.noreply.github.com'
             git stash push
             rsync -r --exclude={'**/nix-support','**/lib'} outputs/ledgerSrc/* ledgerSrc/
             git add -f ledgerSrc
             git commit -m "Updated for ${{ github.sha }}"
+            git tag haskell-package-$(git rev-parse --short ${{ github.sha }}) -m "Tag for ${{ github.sha }}"
 
       - name: Push to gh-pages
-        if: github.ref == 'refs/heads/master'
         uses: ad-m/github-push-action@v0.6.0
         with:
             github_token: ${{ secrets.GITHUB_TOKEN }}
-            branch: haskell-package
+            branch: ldan/haskell-package-test
             force: true
             directory: .
diff --git a/ledgerSrc/haskell/Ledger/CHANGELOG.md b/ledgerSrc/haskell/Ledger/CHANGELOG.md