diff --git a/.github/workflows/admin.yml b/.github/workflows/admin.yml index 7d032b7..286db3f 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.1 + uses: propensive/tumult@0.6.2 - name: Autocommit changes uses: stefanzweifel/git-auto-commit-action@v4 diff --git a/doc/availability.md b/doc/availability.md new file mode 100644 index 0000000..8b13789 --- /dev/null +++ b/doc/availability.md @@ -0,0 +1 @@ +