Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Upgrade to Kotlin 1.9.20 #1346

Merged

Conversation

liblit
Copy link
Contributor

@liblit liblit commented Dec 9, 2023

No description provided.

@liblit liblit added gradle WALA’s Gradle build system dependencies Pull requests that update a dependency file ide Importing, building, and developing WALA in IDEs such as IntelliJ IDEA or Eclipse labels Dec 9, 2023
@liblit liblit requested a review from msridhar December 9, 2023 22:19
@liblit liblit self-assigned this Dec 9, 2023
@liblit liblit enabled auto-merge (rebase) December 9, 2023 22:19
Copy link

github-actions bot commented Dec 9, 2023

Test Results

   455 files  ±0     455 suites  ±0   2h 34m 54s ⏱️ ±0s
   731 tests ±0     714 ✔️ ±0  17 💤 ±0  0 ±0 
2 808 runs  ±0  2 738 ✔️ ±0  70 💤 ±0  0 ±0 

Results for commit 45ee769. ± Comparison against base commit e9e561e.

@liblit liblit marked this pull request as draft December 9, 2023 22:31
auto-merge was automatically disabled December 9, 2023 22:31

Pull request was converted to draft

@liblit liblit force-pushed the update-IntelliJ-IDEA-metadata-for-Kotlin-1.9.20 branch from 45ee769 to 6fd5b87 Compare December 9, 2023 22:35
@liblit liblit changed the title Update IntelliJ IDEA project metadata for Kotlin 1.9.20 Upgrade to Kotlin 1.9.20 Dec 9, 2023
@liblit liblit marked this pull request as ready for review December 9, 2023 22:39
@liblit liblit enabled auto-merge (rebase) December 9, 2023 22:41
@liblit liblit merged commit b681c87 into wala:master Dec 9, 2023
6 checks passed
@liblit liblit deleted the update-IntelliJ-IDEA-metadata-for-Kotlin-1.9.20 branch December 9, 2023 22:49
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 gradle WALA’s Gradle build system ide Importing, building, and developing WALA in IDEs such as IntelliJ IDEA or Eclipse
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants