Skip to content

Add a new ScalarMap struct and use it to make witnesses more structured #688

Add a new ScalarMap struct and use it to make witnesses more structured

Add a new ScalarMap struct and use it to make witnesses more structured #688

Workflow file for this run

name: Spell checker
on: [push, pull_request]
jobs:
typos:
name: Spell Check with typos
runs-on: ubuntu-latest
steps:
- name: Checkout Actions Repository
uses: actions/checkout@v4
- name: Check spelling
uses: crate-ci/typos@master