Skip to content

Commit

Permalink
Update Tumult and regenerate
Browse files Browse the repository at this point in the history
  • Loading branch information
propensive committed Jan 2, 2025
1 parent bf1a788 commit b408ebc
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/admin.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
1 change: 1 addition & 0 deletions doc/availability.md
Original file line number Diff line number Diff line change
Expand Up @@ -7,3 +7,4 @@ libraryDependencies += "dev.soundness" % "quantitative-core" % "0.1.0"




0 comments on commit b408ebc

Please sign in to comment.