Create JMDict #8
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Create JMDict | |
on: | |
workflow_dispatch: | |
permissions: | |
id-token: write | |
attestations: write | |
contents: write # gh-release | |
jobs: | |
download_jmdict: | |
runs-on: ubuntu-latest | |
timeout-minutes: 10 | |
name: "Download JMDict" | |
steps: | |
- name: Get current date | |
id: date | |
run: echo "DATE=$(date '+%Y-%m-%d')" >> "$GITHUB_OUTPUT" | |
- name: Download JMDict | |
run: curl "http://ftp.edrdg.org/pub/Nihongo/JMdict_e.gz" -o "JMdict_e.gz" | |
- name: Download JMneDict | |
run: curl "http://ftp.edrdg.org/pub/Nihongo/JMnedict.xml.gz" -o "JMnedict.xml.gz" | |
- uses: actions/attest-build-provenance@v2 | |
with: | |
subject-path: | | |
JMdict_e.gz | |
JMnedict.xml.gz | |
- name: Create Github Release | |
uses: softprops/action-gh-release@e7a8f85e1c67a31e6ed99a94b41bd0b71bbee6b8 # v2.0.9 | |
with: | |
tag_name: "jmdict-${{ steps.date.outputs.DATE }}" | |
name: "JMDict ${{ steps.date.outputs.DATE }}" | |
body: | | |
JMDict dictionary files used in Yomikiri. | |
The files are stored here to make the Yomikiri build reproducible. | |
These files are [JMdict](https://www.edrdg.org/wiki/index.php/JMdict-EDICT_Dictionary_Project) and JMnedict dictionary files, which are property of the [Electronic Dictionary Research and Development Group]( https://www.edrdg.org/). You can view the license for these files [here](http://www.edrdg.org/edrdg/licence.html). | |
prerelease: true | |
fail_on_unmatched_files: true | |
files: | | |
JMdict_e.gz | |
JMnedict.xml.gz |