diff --git a/.github/workflows/admin.yml b/.github/workflows/admin.yml index 286db3f..e61d738 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.2 + uses: propensive/tumult@0.6.3 - name: Autocommit changes uses: stefanzweifel/git-auto-commit-action@v4 diff --git a/doc/availability.md b/doc/availability.md index 60b64d1..bd9e54c 100644 --- a/doc/availability.md +++ b/doc/availability.md @@ -6,3 +6,4 @@ libraryDependencies += "dev.soundness" % "dissonance-core" % "0.3.0" ``` +