Skip to content

feat: add Bitvec.ofInt_ofNat (#5081) #9

feat: add Bitvec.ofInt_ofNat (#5081)

feat: add Bitvec.ofInt_ofNat (#5081) #9

Workflow file for this run

name: Actionlint
on:
push:
branches:
- 'master'
paths:
- '.github/**'
pull_request:
paths:
- '.github/**'
merge_group:
jobs:
actionlint:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: actionlint
uses: raven-actions/actionlint@v1
with:
pyflakes: false # we do not use python scripts