Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / cda-tum/qusat issues and pull requests
#109 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#108 - Bump codecov/codecov-action from 3.1.3 to 3.1.4
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, github_actions
#107 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#106 - Bump extern/qfr from `e8e2372` to `5fbfe8f`
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, submodules
#105 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#104 - Bump codecov/codecov-action from 3.1.2 to 3.1.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, github_actions
#103 - Bump pypa/cibuildwheel from 2.12.1 to 2.12.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, github_actions
#102 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#101 - Bump codecov/codecov-action from 3.1.1 to 3.1.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, github_actions
#100 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#99 - Bump extern/qfr from `db082b6` to `e8e2372`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, submodules
#98 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#97 - Bump pypa/cibuildwheel from 2.12.0 to 2.12.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, github_actions
#96 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#95 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#94 - Bump extern/qfr from `90a3445` to `db082b6`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, submodules
#93 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#92 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#91 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#90 - Bump extern/qfr from `37722f2` to `90a3445`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, submodules
#89 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#88 - Bump extern/qfr from `5ae2f78` to `37722f2`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 3 comments
Labels: dependencies, submodules
#87 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#86 - Bump pypa/cibuildwheel from 2.11.4 to 2.12.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, github_actions
#85 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#84 - Bump extern/qfr from `c11670d` to `5ae2f78`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, submodules
#83 - Bump extern/qfr from `c11670d` to `94257ff`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 3 comments
Labels: dependencies, submodules
#82 - Bump pypa/cibuildwheel from 2.11.3 to 2.11.4
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, github_actions
#81 - Bump extern/qfr from `9d0f917` to `c11670d`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, submodules
#80 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] over 1 year ago
- 1 comment
#79 - Bump extern/qfr from `5e8b8b7` to `9d0f917`
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, submodules
#78 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] almost 2 years ago
- 1 comment
#77 - Bump extern/qfr from `888d44a` to `5e8b8b7`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, submodules
#76 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] almost 2 years ago
- 1 comment
#75 - 🐛 Fix broken sdist CI (caused by switch to Ubuntu 22.04)
Pull Request -
State: closed - Opened by burgholzer almost 2 years ago
- 1 comment
Labels: bug
#74 - Bump pypa/cibuildwheel from 2.11.2 to 2.11.3
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 3 comments
Labels: dependencies, github_actions
#73 - Bump extern/qfr from `64a8919` to `888d44a`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 3 comments
Labels: dependencies, submodules
#72 - ⬆️🪝 update pre-commit hooks
Pull Request -
State: closed - Opened by pre-commit-ci[bot] almost 2 years ago
- 1 comment
#71 - Bump extern/qfr from `e5f4189` to `64a8919`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, submodules
#70 - ✨ Modernize Project Architecture
Pull Request -
State: closed - Opened by burgholzer almost 2 years ago
- 1 comment
Labels: enhancement
#69 - Bump DoozyX/clang-format-lint-action from 0.14 to 0.15
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 4 comments
Labels: dependencies, github_actions
#68 - Bump extern/qfr from `c7679b6` to `e5f4189`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 4 comments
Labels: dependencies, submodules
#67 - Bump extern/qfr from `41f9809` to `c7679b6`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, submodules
#66 - Bump extern/qfr from `64aa806` to `41f9809`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, submodules
#65 - Bump extern/qfr from `78a3608` to `64aa806`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, submodules
#64 - Bump pypa/cibuildwheel from 2.11.1 to 2.11.2
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, github_actions
#63 - Bump extern/qfr from `6b897ff` to `78a3608`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, submodules
#62 - Bump extern/qfr from `76dfda6` to `6b897ff`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, submodules
#61 - Bump pypa/cibuildwheel from 2.10.2 to 2.11.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, github_actions
#60 - Bump extern/qfr from `ca6da01` to `76dfda6`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
Labels: dependencies, submodules
#59 - Bump extern/qfr from `8232c4c` to `ca6da01`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, submodules
#58 - Bump pypa/cibuildwheel from 2.10.1 to 2.10.2
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, github_actions
#57 - Bump extern/qfr from `6e4924a` to `8232c4c`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, submodules
#56 - Bump pypa/cibuildwheel from 2.10.0 to 2.10.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, github_actions
#55 - Bump codecov/codecov-action from 3.1.0 to 3.1.1
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, github_actions
#54 - Bump extern/qfr from `ae0b7c0` to `6e4924a`
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies, submodules
#53 - Bump pypa/cibuildwheel from 2.9.0 to 2.10.0
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 6 comments
Labels: dependencies, github_actions
#52 - Bump extern/qfr from `ef83c0f` to `ae0b7c0`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies, submodules
#51 - Bump extern/qfr from `d550522` to `ef83c0f`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, submodules
#50 - Bump extern/qfr from `091d869` to `d550522`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, submodules
#49 - Bump extern/qfr from `efb9b44` to `091d869`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, submodules
#48 - Bump extern/qfr from `c983525` to `efb9b44`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, submodules
#47 - Bump pypa/cibuildwheel from 2.8.1 to 2.9.0
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, github_actions
#46 - Bump extern/qfr from `c983525` to `8f1d73b`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 5 comments
Labels: dependencies, submodules
#45 - Bump extern/qfr from `fd0cada` to `c983525`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, submodules
#44 - Bump extern/qfr from `fd0cada` to `029239c`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 3 comments
Labels: dependencies, submodules
#43 - Bump extern/qfr from `c898637` to `fd0cada`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, submodules
#42 - Bump pypa/cibuildwheel from 2.8.0 to 2.8.1
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, github_actions
#41 - Bump extern/qfr from `e42fc32` to `c898637`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, submodules
#40 - Bump pypa/cibuildwheel from 2.7.0 to 2.8.0
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, github_actions
#39 - Bump extern/qfr from `177f469` to `e42fc32`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, submodules
#38 - Bump extern/qfr from `92bbd82` to `177f469`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, submodules
#37 - Bump pypa/cibuildwheel from 2.6.1 to 2.7.0
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, github_actions
#36 - Bump extern/qfr from `5c7361c` to `92bbd82`
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 2 comments
Labels: dependencies, submodules
#35 - Bump extern/qfr from `eca6a38` to `5c7361c`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, submodules
#34 - Bump extern/qfr from `eca6a38` to `24b00a9`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 4 comments
Labels: dependencies, submodules
#33 - Bump actions/setup-python from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, github_actions
#32 - Bump pypa/cibuildwheel from 2.6.0 to 2.6.1
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, github_actions
#31 - Bump extern/qfr from `0f2d1c2` to `eca6a38`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, submodules
#30 - Bump DoozyX/clang-format-lint-action from 0.13 to 0.14
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, github_actions
#29 - Bump extern/qfr from `23a94fc` to `0f2d1c2`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, submodules
#28 - Bump pypa/cibuildwheel from 2.5.0 to 2.6.0
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, github_actions
#27 - Bump extern/qfr from `554a6e4` to `23a94fc`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, submodules
#26 - Bump extern/qfr from `b38fe5f` to `554a6e4`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, submodules
#25 - Bump pypa/cibuildwheel from 2.4.0 to 2.5.0
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, github_actions
#24 - Bump extern/qfr from `e13d0a8` to `b38fe5f`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, submodules
#23 - Bump extern/qfr from `aba577e` to `e13d0a8`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, submodules
#22 - 🐛 fix bug that prevented correct versioning
Pull Request -
State: closed - Opened by burgholzer over 2 years ago
- 1 comment
Labels: bug
#21 - Bump codecov/codecov-action from 3.0.0 to 3.1.0
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 3 comments
Labels: dependencies, github_actions
#20 - Modernize Build
Pull Request -
State: closed - Opened by burgholzer over 2 years ago
- 1 comment
Labels: enhancement
#19 - Bump extern/qfr from `49a7085` to `aba577e`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, submodules
#18 - Bump actions/download-artifact from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, github_actions
#17 - Bump extern/qfr from `22af3c7` to `49a7085`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, submodules
#16 - Bump actions/upload-artifact from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, github_actions
#15 - Bump codecov/codecov-action from 2.1.0 to 3.0.0
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, github_actions
#14 - 👷 updating Z3 version
Pull Request -
State: closed - Opened by burgholzer over 2 years ago
- 1 comment
Labels: dependencies
#13 - Bump codecov/codecov-action from 2.1.0 to 3
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 3 comments
Labels: dependencies, github_actions
#12 - Bump pypa/cibuildwheel from 2.3.1 to 2.4.0
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 3 comments
Labels: dependencies, github_actions
#11 - Bump extern/qfr from `7abe363` to `22af3c7`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 3 comments
Labels: dependencies, submodules
#10 - Bump extern/qfr from `7b2244c` to `7abe363`
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 2 comments
Labels: dependencies, submodules