Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / cda-tum/setup-z3 issues and pull requests
#242 - ⬆️ Switching to node 20
Pull Request -
State: closed - Opened by burgholzer 12 months ago
Labels: dependencies, javascript
#241 - Build(deps): Bump the production-dependencies group with 4 updates
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 1 comment
Labels: dependencies, javascript
#240 - Build(deps-dev): Bump the development-dependencies group with 4 updates
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 1 comment
Labels: dependencies, javascript
#239 - Build(deps-dev): Bump the development-dependencies group with 5 updates
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#238 - Build(deps): Bump the production-dependencies group with 1 update
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#237 - Build(deps-dev): Bump the development-dependencies group with 5 updates
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#236 - Build(deps): Bump the github-actions group with 1 update
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, github_actions
#235 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
Labels: dependencies
#234 - Build(deps-dev): Bump the development-dependencies group with 4 updates
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#233 - Build(deps-dev): Bump the development-dependencies group with 1 update
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#232 - 🔧 introduce dependabot groups
Pull Request -
State: closed - Opened by burgholzer about 1 year ago
Labels: continuous integration, dependencies
#231 - Build(deps-dev): Bump @typescript-eslint/parser from 6.4.0 to 6.4.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#230 - Build(deps-dev): Bump eslint from 8.47.0 to 8.48.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#229 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 6.4.0 to 6.4.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#228 - Build(deps-dev): Bump typescript from 5.1.6 to 5.2.2
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#227 - Build(deps-dev): Bump jest from 29.6.2 to 29.6.4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#226 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
Labels: dependencies
#225 - Build(deps-dev): Bump @types/node from 20.5.0 to 20.5.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#224 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 6.3.0 to 6.4.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#223 - Build(deps-dev): Bump @typescript-eslint/parser from 6.3.0 to 6.4.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#222 - Build(deps-dev): Bump eslint-plugin-import from 2.28.0 to 2.28.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#221 - 🐛 Fix node action path in action.yml
Pull Request -
State: closed - Opened by burgholzer about 1 year ago
Labels: bug
#220 - Build(deps-dev): Bump @types/node from 20.4.9 to 20.5.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#219 - Build(deps-dev): Bump eslint from 8.46.0 to 8.47.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#218 - ⬆️ Update npm packages
Pull Request -
State: closed - Opened by burgholzer about 1 year ago
Labels: dependencies, javascript
#217 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.61.0 to 6.3.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#216 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
Labels: dependencies
#215 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.61.0 to 6.2.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#214 - Build(deps-dev): Bump eslint-plugin-jest from 27.2.2 to 27.2.3
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#213 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.61.0 to 6.2.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#212 - Build(deps): Bump @octokit/action from 6.0.4 to 6.0.5
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#211 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.61.0 to 6.1.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#210 - Build(deps-dev): Bump @types/node from 20.4.2 to 20.4.4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#209 - Build(deps-dev): Bump @typescript-eslint/parser from 5.61.0 to 5.62.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#208 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.61.0 to 6.0.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 3 comments
Labels: dependencies, javascript
#207 - Build(deps): Bump @octokit/core from 4.2.4 to 5.0.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript, minor
#206 - Build(deps-dev): Bump @types/node from 20.3.1 to 20.4.2
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#205 - Build(deps): Bump semver from 6.3.0 to 6.3.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#204 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] about 1 year ago
Labels: dependencies
#203 - Build(deps): Bump actions/setup-node from 3.6.0 to 3.7.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, github_actions
#202 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.60.0 to 5.61.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#201 - Build(deps-dev): Bump jest from 29.5.0 to 29.6.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#200 - Build(deps): Bump @octokit/core from 4.2.1 to 4.2.4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 2 comments
Labels: dependencies, javascript
#199 - Build(deps-dev): Bump @typescript-eslint/parser from 5.60.1 to 5.61.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#198 - Build(deps-dev): Bump typescript from 5.1.3 to 5.1.6
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#197 - Build(deps-dev): Bump ts-jest from 29.1.0 to 29.1.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#196 - Build(deps-dev): Bump @typescript-eslint/parser from 5.60.0 to 5.60.1
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#195 - Build(deps-dev): Bump eslint from 8.43.0 to 8.44.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#194 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.11 to 5.60.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#193 - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.11 to 5.60.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#192 - Build(deps-dev): Bump eslint-plugin-jest from 27.2.1 to 27.2.2
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#191 - Build(deps): Bump @octokit/action from 5.0.5 to 6.0.4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, javascript
#190 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
Labels: dependencies
#189 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.9 to 5.59.11
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#188 - Build(deps-dev): Bump eslint from 8.42.0 to 8.43.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#187 - Build(deps-dev): Bump @types/node from 20.3.0 to 20.3.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#186 - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.9 to 5.59.11
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#185 - Build(deps-dev): Bump @types/node from 20.2.5 to 20.3.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#184 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.8 to 5.59.9
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#183 - Build(deps-dev): Bump eslint-plugin-github from 4.7.0 to 4.8.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#182 - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.6 to 5.59.9
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#181 - Build(deps): Bump @octokit/openapi-types from 16.0.0 to 18.0.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 4 comments
Labels: dependencies, javascript
#180 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
Labels: dependencies
#179 - Build(deps-dev): Bump eslint from 8.41.0 to 8.42.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#178 - Build(deps-dev): Bump @types/node from 20.2.3 to 20.2.5
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#177 - Build(deps-dev): Bump typescript from 5.0.4 to 5.1.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#176 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.7 to 5.59.8
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#175 - ✨ Add release drafter
Pull Request -
State: closed - Opened by burgholzer over 1 year ago
Labels: continuous integration, usability
#174 - 🔧 update pre-commit config
Pull Request -
State: closed - Opened by burgholzer over 1 year ago
Labels: continuous integration
#173 - ♻️ Simplify build
Pull Request -
State: closed - Opened by burgholzer over 1 year ago
Labels: continuous integration, usability
#172 - 🔧 npm cache in CI
Pull Request -
State: closed - Opened by burgholzer over 1 year ago
Labels: continuous integration
#171 - Build(deps): Bump @octokit/action from 5.0.2 to 5.0.5
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, javascript
#170 - Build(deps-dev): Bump eslint from 8.40.0 to 8.41.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#169 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.6 to 5.59.7
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#168 - Build(deps): Bump @octokit/core from 4.2.0 to 4.2.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, javascript
#167 - Build(deps): Bump @octokit/openapi-types from 16.0.0 to 17.2.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#166 - Build(deps-dev): Bump @types/node from 20.1.4 to 20.2.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#165 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.5 to 5.59.6
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#164 - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.5 to 5.59.6
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#163 - Build(deps): Bump @octokit/action from 5.0.2 to 5.0.4
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#162 - Build(deps-dev): Bump @types/node from 20.1.0 to 20.1.4
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#161 - Build(deps): Bump @octokit/openapi-types from 16.0.0 to 17.1.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#160 - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.2 to 5.59.5
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#159 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.2 to 5.59.5
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#158 - Build(deps): Bump @octokit/action from 5.0.2 to 5.0.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#157 - Build(deps-dev): Bump eslint from 8.39.0 to 8.40.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#156 - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.1 to 5.59.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#155 - Build(deps): Bump @octokit/openapi-types from 16.0.0 to 17.1.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#154 - Build(deps-dev): Bump @types/node from 18.16.3 to 20.1.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#153 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.1 to 5.59.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#152 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.59.0 to 5.59.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#151 - Build(deps): Bump @octokit/openapi-types from 16.0.0 to 17.1.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, javascript
#150 - Build(deps-dev): Bump @types/node from 18.16.0 to 18.16.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#149 - Build(deps-dev): Bump @typescript-eslint/parser from 5.59.0 to 5.59.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#148 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.58.0 to 5.59.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#147 - Build(deps): Bump @octokit/openapi-types from 16.0.0 to 17.0.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, javascript
#146 - Build(deps-dev): Bump @types/node from 18.15.11 to 18.16.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#145 - Build(deps-dev): Bump eslint from 8.38.0 to 8.39.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#144 - Build(deps-dev): Bump @typescript-eslint/parser from 5.58.0 to 5.59.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#143 - Build(deps-dev): Bump @typescript-eslint/parser from 5.57.1 to 5.58.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript