cda-tum/setup-z3 issues and pull requests

#142 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin 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

#141 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.56.0 to 5.57.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#140 - Build(deps-dev): Bump eslint from 8.37.0 to 8.38.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#139 - Build(deps-dev): Bump @typescript-eslint/parser from 5.57.0 to 5.57.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#138 - Build(deps-dev): Bump typescript from 5.0.3 to 5.0.4

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#137 - Build(deps-dev): Bump ts-jest from 29.0.5 to 29.1.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#136 - Build(deps-dev): Bump @typescript-eslint/parser from 5.56.0 to 5.57.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#135 - Build(deps-dev): Bump @types/node from 18.15.10 to 18.15.11

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#134 - Build(deps-dev): Bump typescript 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

#133 - Build(deps-dev): Bump eslint from 8.36.0 to 8.37.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#132 - Build(deps-dev): Bump @typescript-eslint/parser from 5.55.0 to 5.56.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#131 - Build(deps-dev): Bump @types/node from 18.15.3 to 18.15.10

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#130 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.55.0 to 5.56.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#129 - Build(deps-dev): Bump eslint-plugin-github from 4.6.1 to 4.7.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#128 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.54.1 to 5.55.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#127 - Build(deps-dev): Bump @types/node from 18.15.1 to 18.15.3

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#126 - Build(deps-dev): Bump @typescript-eslint/parser from 5.54.1 to 5.55.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#125 - Build(deps-dev): Bump typescript from 4.9.5 to 5.0.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#124 - Build(deps-dev): Bump @types/node from 18.14.6 to 18.15.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#123 - Build(deps-dev): Bump eslint from 8.35.0 to 8.36.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#122 - Build(deps-dev): Bump jest from 29.4.3 to 29.5.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#121 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.54.0 to 5.54.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#120 - Build(deps-dev): Bump @typescript-eslint/parser from 5.54.0 to 5.54.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#119 - Build(deps-dev): Bump @typescript-eslint/eslint-plugin from 5.53.0 to 5.54.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#118 - Build(deps-dev): Bump @types/node from 18.14.0 to 18.14.6

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#117 - Build(deps-dev): Bump @typescript-eslint/parser from 5.52.0 to 5.54.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#116 - Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.51.0 to 5.53.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#115 - Build(deps-dev): bump @types/node from 18.14.0 to 18.14.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 3 comments
Labels: dependencies, javascript

#114 - Build(deps-dev): bump eslint from 8.34.0 to 8.35.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 5 comments
Labels: dependencies, javascript

#113 - Build(deps-dev): bump @typescript-eslint/parser from 5.52.0 to 5.53.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 3 comments
Labels: dependencies, javascript

#112 - Build(deps-dev): bump jest from 29.4.2 to 29.4.3

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#111 - Build(deps-dev): bump eslint-plugin-github from 4.6.0 to 4.6.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#110 - Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.51.0 to 5.52.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 3 comments
Labels: dependencies, javascript

#109 - Build(deps-dev): bump @typescript-eslint/parser from 5.51.0 to 5.52.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#108 - Build(deps-dev): bump @types/node from 18.13.0 to 18.14.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, javascript

#107 - :wrench: update workflows

Pull Request - State: closed - Opened by burgholzer over 1 year ago
Labels: continuous integration

#106 - Build(deps-dev): bump @types/node from 18.11.19 to 18.13.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, javascript

#105 - Build(deps-dev): bump @typescript-eslint/parser from 5.50.0 to 5.51.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, javascript

#104 - Build(deps-dev): bump jest from 29.4.1 to 29.4.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, javascript

#103 - Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.50.0 to 5.51.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, javascript

#102 - Build(deps-dev): bump eslint from 8.33.0 to 8.34.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies, javascript

#101 - 🚸 Test if z3 executable exists after running the workflow

Pull Request - State: closed - Opened by wenkokke over 1 year ago
Labels: usability

#100 - Action `cda-tum/[email protected]` is broken on `ubuntu-latest`

Issue - State: closed - Opened by wenkokke over 1 year ago - 4 comments

#99 - Build(deps-dev): bump typescript from 4.9.4 to 4.9.5

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#98 - Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.49.0 to 5.50.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#97 - Build(deps-dev): bump @types/node from 18.11.18 to 18.11.19

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#96 - Build(deps-dev): bump @typescript-eslint/parser from 5.49.0 to 5.50.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#95 - Build(deps-dev): bump @typescript-eslint/parser from 5.48.1 to 5.49.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#94 - Build(deps-dev): bump eslint from 8.32.0 to 8.33.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#93 - Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.48.2 to 5.49.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#92 - Build(deps-dev): bump @vercel/ncc from 0.36.0 to 0.36.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#91 - Build(deps-dev): bump jest from 29.3.1 to 29.4.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#90 - Build(deps): bump @octokit/core from 4.1.0 to 4.2.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#89 - Build(deps-dev): bump eslint-plugin-import from 2.27.4 to 2.27.5

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#88 - Build(deps): bump @octokit/openapi-types from 14.0.0 to 16.0.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#87 - Build(deps-dev): bump @typescript-eslint/eslint-plugin from 5.48.1 to 5.48.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#86 - Build(deps): bump @octokit/action from 4.0.10 to 5.0.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies, javascript

#85 - Bump eslint from 8.31.0 to 8.32.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#84 - Bump eslint-plugin-import from 2.26.0 to 2.27.4

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#83 - Bump ts-jest from 29.0.3 to 29.0.5

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#82 - Bump @typescript-eslint/eslint-plugin from 5.48.0 to 5.48.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#81 - Bump @typescript-eslint/parser from 5.48.0 to 5.48.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#80 - Bump json5 from 1.0.1 to 1.0.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#79 - Bump @typescript-eslint/parser from 5.47.1 to 5.48.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#78 - Bump eslint-plugin-jest from 27.2.0 to 27.2.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#77 - Bump @typescript-eslint/eslint-plugin from 5.47.1 to 5.48.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#76 - Bump actions/setup-node from 3.5.1 to 3.6.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, github_actions

#75 - Bump @types/node from 18.11.17 to 18.11.18

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#74 - Bump eslint-plugin-jest from 27.1.7 to 27.2.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#73 - Bump eslint from 8.30.0 to 8.31.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#72 - Bump @typescript-eslint/eslint-plugin from 5.47.0 to 5.47.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#71 - Bump @typescript-eslint/parser from 5.47.0 to 5.47.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#70 - Bump @typescript-eslint/parser from 5.44.0 to 5.47.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#69 - Bump @typescript-eslint/eslint-plugin from 5.46.1 to 5.47.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies, javascript

#68 - Bump eslint-plugin-github from 4.4.1 to 4.6.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#67 - Bump eslint from 8.29.0 to 8.30.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#66 - Bump @typescript-eslint/eslint-plugin from 5.46.0 to 5.46.1

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#65 - Bump @types/node from 18.11.13 to 18.11.17

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#64 - Bump eslint-plugin-jest from 27.1.6 to 27.1.7

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#63 - Bump @vercel/ncc from 0.34.0 to 0.36.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 2 comments
Labels: dependencies, javascript

#62 - Bump @typescript-eslint/eslint-plugin from 5.44.0 to 5.46.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#61 - Bump typescript from 4.9.3 to 4.9.4

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#60 - Bump @types/node from 18.11.9 to 18.11.13

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#59 - Bump eslint from 8.28.0 to 8.29.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 1 comment
Labels: dependencies, javascript

#54 - Bump @typescript-eslint/parser from 5.42.1 to 5.44.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 2 comments
Labels: dependencies, javascript

GitHub / cda-tum/setup-z3 issues and pull requests