[JAVA_API] Add f4e2m1 to Java API #43
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: Take Issue | |
on: | |
issue_comment: | |
types: | |
- created | |
- edited | |
permissions: read-all | |
jobs: | |
take-issue: | |
name: Take issue | |
runs-on: ubuntu-latest | |
permissions: | |
issues: write | |
timeout-minutes: 10 | |
steps: | |
- name: take an issue | |
uses: bdougie/take-action@1439165ac45a7461c2d89a59952cd7d941964b87 # v1.6.1 | |
with: | |
message: Thank you for looking into this issue! Please let us know if you have any questions or require any help. | |
issueCurrentlyAssignedMessage: Thanks for being interested in this issue. It looks like this ticket is already assigned to a contributor. Please communicate with the assigned contributor to confirm the status of the issue. | |
trigger: .take | |
token: ${{ secrets.GITHUB_TOKEN }} |