From 61b4a06254bfa43d343b2c866a6501871900c26d Mon Sep 17 00:00:00 2001 From: Jon Pretty Date: Thu, 2 Jan 2025 08:16:53 +0100 Subject: [PATCH] Update Tumult and regenerate --- .github/workflows/admin.yml | 2 +- doc/availability.md | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/admin.yml b/.github/workflows/admin.yml index e61d738..90a353a 100644 --- a/.github/workflows/admin.yml +++ b/.github/workflows/admin.yml @@ -14,6 +14,6 @@ jobs: - name: Checkout uses: actions/checkout@v3 - name: Tidy repository - uses: propensive/tumult@0.6.3 + uses: propensive/tumult@0.6.4 - name: Autocommit changes uses: stefanzweifel/git-auto-commit-action@v4 diff --git a/doc/availability.md b/doc/availability.md index bd9e54c..1b3f153 100644 --- a/doc/availability.md +++ b/doc/availability.md @@ -7,3 +7,4 @@ libraryDependencies += "dev.soundness" % "dissonance-core" % "0.3.0" +