Skip to content

odoc: Don't add unecessary space in references and links #2005

odoc: Don't add unecessary space in references and links

odoc: Don't add unecessary space in references and links #2005

Workflow file for this run

name: PR number update
on: [pull_request_target]
jobs:
PR-Number-Update:
name: Update PR number
runs-on: ubuntu-20.04
steps:
- uses: tarides/[email protected]