Skip to content

Normative: Fix Duration rounding relative to ZonedDateTime #2842

Normative: Fix Duration rounding relative to ZonedDateTime

Normative: Fix Duration rounding relative to ZonedDateTime #2842

Workflow file for this run

name: Run linter
on: pull_request
jobs:
lint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: use node.js v20.x
uses: actions/setup-node@v3
with:
node-version: 20.x
- run: npm ci
- run: npm run lint
- run: npm run build:spec