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