From f913eb9c7943e0ca51b2965144bda183848c76a1 Mon Sep 17 00:00:00 2001 From: Jon Pretty Date: Fri, 27 Dec 2024 14:35:09 +0100 Subject: [PATCH] Update Tumult and regenerate --- .github/workflows/admin.yml | 2 +- doc/availability.md | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 doc/availability.md 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 @@ +