What's Changed
- Build(deps-dev): bump @typescript-eslint/parser from 5.48.1 to 5.49.0 by @dependabot in #95
- Build(deps-dev): bump jest from 29.3.1 to 29.4.1 by @dependabot in #91
- Build(deps-dev): bump @vercel/ncc from 0.36.0 to 0.36.1 by @dependabot in #92
- Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.48.2 to 5.49.0 by @dependabot in #93
- Build(deps-dev): bump eslint from 8.32.0 to 8.33.0 by @dependabot in #94
- Build(deps-dev): bump typescript from 4.9.4 to 4.9.5 by @dependabot in #99
- Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.49.0 to 5.50.0 by @dependabot in #98
- Build(deps-dev): bump @typescript-eslint/parser from 5.49.0 to 5.50.0 by @dependabot in #96
- Build(deps-dev): bump @types/node from 18.11.18 to 18.11.19 by @dependabot in #97
- 🚸 Test if z3 executable exists after running the workflow by @wenkokke in #101
- 🔧 update workflows by @burgholzer in #107
- Build(deps-dev): bump eslint from 8.33.0 to 8.34.0 by @dependabot in #102
- Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.50.0 to 5.51.0 by @dependabot in #103
- Build(deps-dev): bump jest from 29.4.1 to 29.4.2 by @dependabot in #104
- Build(deps-dev): bump @types/node from 18.11.19 to 18.13.0 by @dependabot in #106
- Build(deps-dev): bump @typescript-eslint/parser from 5.50.0 to 5.51.0 by @dependabot in #105
- Build(deps-dev): bump @types/node from 18.13.0 to 18.14.0 by @dependabot in #108
- Build(deps-dev): bump @typescript-eslint/parser from 5.51.0 to 5.52.0 by @dependabot in #109
- Build(deps-dev): bump jest from 29.4.2 to 29.4.3 by @dependabot in #112
- Build(deps-dev): bump eslint-plugin-github from 4.6.0 to 4.6.1 by @dependabot in #111
- Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.51.0 to 5.53.0 by @dependabot in #116
- Build(deps-dev): bump eslint from 8.34.0 to 8.35.0 by @dependabot in #114
- Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.53.0 to 5.54.0 by @dependabot in #119
- Build(deps-dev): Bump @typescript-eslint/parser from 5.52.0 to 5.54.0 by @dependabot in #117
- Build(deps-dev): Bump @types/node from 18.14.0 to 18.14.6 by @dependabot in #118
- Build(deps-dev): Bump @types/node from 18.14.6 to 18.15.1 by @dependabot in #124
- Build(deps-dev): Bump jest from 29.4.3 to 29.5.0 by @dependabot in #122
- Build(deps-dev): Bump eslint from 8.35.0 to 8.36.0 by @dependabot in #123
- Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.54.0 to 5.54.1 by @dependabot in #121
- Build(deps-dev): Bump @typescript-eslint/parser from 5.54.0 to 5.54.1 by @dependabot in #120
- Build(deps-dev): Bump typescript from 4.9.5 to 5.0.2 by @dependabot in #125
- Build(deps-dev): Bump @typescript-eslint/parser from 5.54.1 to 5.55.0 by @dependabot in #126
- Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.54.1 to 5.55.0 by @dependabot in #128
- Build(deps-dev): Bump @types/node from 18.15.1 to 18.15.3 by @dependabot in #127
- Build(deps-dev): Bump @typescript-eslint/parser from 5.55.0 to 5.56.0 by @dependabot in #132
- Build(deps-dev): Bump @types/node from 18.15.3 to 18.15.10 by @dependabot in #131
- Build(deps-dev): Bump eslint-plugin-github from 4.6.1 to 4.7.0 by @dependabot in #129
- Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.55.0 to 5.56.0 by @dependabot in #130
New Contributors
Full Changelog: v1...v1.0.9