Skip to content

Use JSON11 to parse and serialize long numerals #2053

Use JSON11 to parse and serialize long numerals

Use JSON11 to parse and serialize long numerals #2053

Workflow file for this run

name: License headers
on: [push, pull_request]
jobs:
licenseheader:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Check license headers
run: "./.ci/license/check-license-headers.sh"