Skip to content

Editorial: Prefix names of intrinsics #435

Editorial: Prefix names of intrinsics

Editorial: Prefix names of intrinsics #435

name: Require “Allow Edits”
on: [pull_request]
jobs:
_:
name: "Require “Allow Edits”"
runs-on: ubuntu-latest
steps:
- uses: ljharb/require-allow-edits@main
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}