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 8b13789..139597f 100644 --- a/doc/availability.md +++ b/doc/availability.md @@ -1 +1,2 @@ +