Skip to content

Comments

Build: Bump aqt from 3.1.7 to 3.1.11 (Automated PR)#3197

Merged
ann0see merged 1 commit intomainfrom
ci/bump-dependencies/aqt
Dec 20, 2023
Merged

Build: Bump aqt from 3.1.7 to 3.1.11 (Automated PR)#3197
ann0see merged 1 commit intomainfrom
ci/bump-dependencies/aqt

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Nov 11, 2023

This automated Pull Request updates the used aqt version to version 3.1.11.

This PR was opened by the workflow Bump dependencies (create-prs)

CHANGELOG: SKIP

@hoffie hoffie force-pushed the ci/bump-dependencies/aqt branch from 20a78c2 to 8835641 Compare November 11, 2023 08:26
@github-actions github-actions bot changed the title Build: Bump aqt from 3.1.7 to 3.1.9 (Automated PR) Build: Bump aqt from 3.1.7 to 3.1.10 (Automated PR) Nov 18, 2023
@github-actions
Copy link
Contributor Author

PR has been updated for version 3.1.10 by the workflow Bump dependencies (create-prs).

@hoffie hoffie force-pushed the ci/bump-dependencies/aqt branch from 8835641 to d151401 Compare November 18, 2023 08:25
@ann0see ann0see added this to the Release 3.11.0 milestone Nov 22, 2023
@github-actions github-actions bot changed the title Build: Bump aqt from 3.1.7 to 3.1.10 (Automated PR) Build: Bump aqt from 3.1.7 to 3.1.11 (Automated PR) Dec 2, 2023
@github-actions
Copy link
Contributor Author

github-actions bot commented Dec 2, 2023

PR has been updated for version 3.1.11 by the workflow Bump dependencies (create-prs).

@hoffie hoffie force-pushed the ci/bump-dependencies/aqt branch 2 times, most recently from 208838b to b55818d Compare December 8, 2023 14:11
@hoffie hoffie force-pushed the ci/bump-dependencies/aqt branch from b55818d to 4b0b1b1 Compare December 12, 2023 21:21
@ann0see ann0see merged commit 134f245 into main Dec 20, 2023
@github-actions github-actions bot deleted the ci/bump-dependencies/aqt branch December 20, 2023 23:13
@pljones pljones added the dependencies Pull requests that update a dependency file label Jul 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants