Open
Number: #3
Type: Pull Request
State: Open
Type: Pull Request
State: Open
Author:
![dependabot[bot]](https://github.com/dependabot.png)
dependabot[bot]
Association: Unknown
Comments:
dependabot[bot]Association: Unknown
Comments:
Created:
May 03, 2026 at 06:03 PM UTC
(3 months ago)
(3 months ago)
Updated:
May 03, 2026 at 06:03 PM UTC
(3 months ago)
(3 months ago)
Technical Details
| ID: | 15623174 |
| UUID: | 3620498588 |
| Node ID: | |
| Host: | GitHub |
| Repository: | codemantis-dev/codemantis |