Skip to content

Rename Yojson-json5 to Yojson-five to not repeat JSON all the time #203

Rename Yojson-json5 to Yojson-five to not repeat JSON all the time

Rename Yojson-json5 to Yojson-five to not repeat JSON all the time #203

Workflow file for this run

name: PR number update
on: [pull_request_target]
jobs:
PR-Number-Update:
runs-on: ubuntu-20.04
steps:
- name: Update PR number
uses: tarides/pr-number-action@v1.1