Merge branch 'develop' into use-owl-jar

This commit is contained in:
usbharu
2024-08-10 19:45:42 +09:00
committed by GitHub
@@ -19,7 +19,7 @@ jobs:
- name: Check diff
id: check-diff
uses: actions/github-script@v3
uses: actions/github-script@v7
with:
result-encoding: 'json'
script: |