Use latest Tumult docs

propensive · Jan 12, 2024 · 604ea21 · 604ea21
1 parent 4725908
commit 604ea21
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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/[email protected].2
+ uses: propensive/[email protected].3
  - name: Autocommit changes
  uses: stefanzweifel/git-auto-commit-action@v4
diff --git a/doc/basics.md b/doc/basics.md
@@ -172,3 +172,4 @@ return type of calling `record`. However the type is statically known, and could
 available as a type member.
 
 
+