Skip to content

Pull requests: tani/acl2-kernel

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Update dependency jupyter to v1.1.1
#24 opened Aug 29, 2024 by renovate bot Loading…
1 task
Update dependency regex to v2024
#23 opened Apr 17, 2024 by renovate bot Loading…
1 task
Update dependency pexpect to v4.9.0
#22 opened Nov 25, 2023 by renovate bot Loading…
1 task
Update dependency jupyter_client to v8
#20 opened Mar 23, 2023 by renovate bot Loading…
1 task
Update dependency jupyter_client to v6.2.0
#19 opened Mar 23, 2023 by renovate bot Loading…
1 task
Update dependency ipython to v7.34.0
#18 opened Mar 23, 2023 by renovate bot Loading…
1 task
Update dependency ipykernel to v6.29.5
#17 opened Mar 17, 2023 by renovate bot Loading…
1 task
Update dependency autopep8 to v1.7.0
#16 opened Mar 17, 2023 by renovate bot Loading…
1 task
Update dependency autopep8 to v2
#15 opened Nov 20, 2022 by renovate bot Loading…
1 task
Update dependency ipython to v8
#13 opened Mar 7, 2022 by renovate bot Loading…
1 task
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.