arrow-kt / arrow-kt/arrow-proofs
Dependency Dashboard
- Dominant language
- Kotlin
- Stars
- 10
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
This issue lists Renovate updates and detected dependencies. Read the [Dependency Dashboard](https://docs.renovatebot.com/key-concepts/dashboard/) docs to learn more.
[View this repository on the Mend.io Web Portal](https://developer.mend.io/github/arrow-kt/arrow-proofs).
## Config Migration Needed
- [ ] Select this checkbox to let Renovate create an automated Config Migration PR.
## Rate-Limited
The following updates are currently rate-limited. To force their creation now, click on a checkbox below.
- [ ] Update dependency kramdown to v2.5.2
- [ ] Update dependency org.junit:junit-bom to v5.14.4
- [ ] Update dependency webrick to v1.9.2
- [ ] Update kotlin monorepo to v1.9.25 (`org.jetbrains.kotlin.jvm`, `org.jetbrains.kotlin:kotlin-test`, `org.jetbrains.kotlin:kotlin-stdlib`, `org.jetbrains.kotlin:kotlin-script-runtime`, `org.jetbrains.kotlin:kotlin-reflect`, `org.jetbrains.kotlin:kotlin-gradle-plugin-api`, `org.jetbrains.kotlin:kotlin-gradle-plugin`, `org.jetbrains.kotlin:kotlin-compiler-internal-test-framework`, `org.jetbrains.kotlin:kotlin-compiler-embeddable`, `org.jetbrains.kotlin:kotlin-compiler`, `org.jetbrains.kotlin:kotlin-annotations-jvm`)
- [ ] Update actions/checkout action to v7
- [ ] Update actions/setup-java action to v6
- [ ] Update actions/upload-artifact action to v7
- [ ] Update dependency font-awesome to v7
- [ ] Update dependency jquery to v4
- [ ] Update dependency macos to v26
- [ ] Update dependency org.junit:junit-bom to v6
- [ ] Update Gradle to v9
- [ ] Update gradle/gradle-build-action action to v3
- [ ] Update kotlin monorepo to v2 (`org.jetbrains.kotlin.jvm`, `org.jetbrains.kotlin:kotlin-test`, `org.jetbrains.kotlin:kotlin-stdlib`, `org.jetbrains.kotlin:kotlin-script-runtime`, `org.jetbrains.kotlin:kotlin-reflect`, `org.jetbrains.kotlin:kotlin-gradle-plugin-api`, `org.jetbrains.kotlin:kotlin-gradle-plugin`, `org.jetbrains.kotlin:kotlin-compiler-internal-test-framework`, `org.jetbrains.kotlin:kotlin-compiler-embeddable`, `org.jetbrains.kotlin:kotlin-compiler`, `org.jetbrains.kotlin:kotlin-annotations-jvm`)
- [ ] Update stefanzweifel/git-auto-commit-action action to v7
- [ ] π **Create all rate-limited PRs at once** π
## Open
The following updates have all been created. To force a retry/rebase of any, click on a checkbox below.
- [ ] [Update dependency io.github.classgraph:classgraph to v4.8.195](../pull/42)
- [ ] [Update actions/checkout action to v3.7.0](../pull/36)
- [ ] [Update actions/setup-java action to v3.14.2](../pull/38)
- [ ] [Update actions/upload-artifact action to v3.2.2](../pull/40)
- [ ] [Update arrowGradleConfig to v0.11.0](../pull/45) (`io.arrow-kt.arrow-gradle-config-publish`, `io.arrow-kt.arrow-gradle-config-kotlin`)
- [ ] [Update dependency jekyll to "~> 4.4.0"](../pull/46)
- [ ] [Update dependency jquery to v3.7.1](../pull/29)
- [ ] [Update Gradle to v7.6.6](../pull/43)
- [ ] [Update gradle/gradle-build-action action to v2.12.0](../pull/35)
- [ ] [Update stefanzweifel/git-auto-commit-action action to v4.16.0](../pull/37)
- [ ] **Click on this checkbox to rebase all open PRs at once**
## Detected Dependencies
bundler (1)
docs/Gemfile (3)
- `jekyll "~> 4.2.0"` β [Updates: `"~> 4.4.0"`]
- `kramdown ">= 2.3.1"` β [Updates: `">= 2.3.1"`]
- `webrick "~> 1.7"` β [Updates: `"~> 1.7"`]
github-actions (5)
.github/workflows/build.yml (3)
- `actions/checkout v3.0.2` β [Updates: `v3.7.0`, `v7.0.1`]
- `actions/setup-java v3.5.1` β [Updates: `v3.14.2`, `v6.0.1`]
- `gradle/gradle-build-action v2.3.1` β [Updates: `v2.12.0`, `v3.5.0`].github/workflows/generate-alpha-tag.yaml (4)
- `actions/checkout v3` β [Updates: `v7`]
- `actions/setup-java v3.5.1` β [Updates: `v3.14.2`, `v6.0.1`]
- `actions/checkout v3` β [Updates: `v7`]
- `actions/setup-java v3.5.1` β [Updates: `v3.14.2`, `v6.0.1`].github/workflows/generate-tag.yaml (4)
- `actions/checkout v3` β [Updates: `v7`]
- `actions/setup-java v3.5.1` β [Updates: `v3.14.2`, `v6.0.1`]
- `actions/checkout v3` β [Updates: `v7`]
- `actions/setup-java v3.5.1` β [Updates: `v3.14.2`, `v6.0.1`].github/workflows/publish.yml (7)
- `actions/checkout v3.0.2` β [Updates: `v3.7.0`, `v7.0.1`]
- `actions/setup-java v3.5.1` β [Updates: `v3.14.2`, `v6.0.1`]
- `gradle/gradle-build-action v2.3.1` β [Updates: `v2.12.0`, `v3.5.0`]
- `actions/upload-artifact v3.1.0` β [Updates: `v3.2.2`, `v7.0.1`]
- `actions/checkout v3.0.2` β [Updates: `v3.7.0`, `v7.0.1`]
- `actions/setup-java v3.5.1` β [Updates: `v3.14.2`, `v6.0.1`]
- `macos 11` β [Updates: `26`].github/workflows/pull_request.yml (7)
- `actions/checkout v3.0.2` β [Updates: `v3.7.0`, `v7.0.1`]
- `actions/setup-java v3.5.1` β [Updates: `v3.14.2`, `v6.0.1`]
- `gradle/gradle-build-action v2.3.1` β [Updates: `v2.12.0`, `v3.5.0`]
- `actions/upload-artifact v3.1.0` β [Updates: `v3.2.2`, `v7.0.1`]
- `actions/checkout v3` β [Updates: `v7`]
- `gradle/gradle-build-action v2.3.1` β [Updates: `v2.12.0`, `v3.5.0`]
- `stefanzweifel/git-auto-commit-action v4.15.0` β [Updates: `v4.16.0`, `v7.2.0`]
gradle (9)
arrow-inject-annotations/build.gradle.kts
arrow-inject-compiler-plugin/build.gradle.kts (2)
- `junit:junit 4.13.2`
- `org.junit:junit-bom 5.9.1` β [Updates: `5.14.4`, `6.1.3`]arrow-inject-gradle-plugin/build.gradle.kts
build.gradle.kts
docs/build.gradle.kts
gradle.properties
gradle/libs.versions.toml (15)
- `io.github.classgraph:classgraph 4.8.149` β [Updates: `4.8.195`]
- `org.jetbrains.kotlin:kotlin-annotations-jvm 1.8.255-SNAPSHOT` β [Updates: `1.9.25`, `2.4.20`]
- `org.jetbrains.kotlin:kotlin-compiler 1.8.255-SNAPSHOT` β [Updates: `1.9.25`, `2.4.20`]
- `org.jetbrains.kotlin:kotlin-compiler-embeddable 1.8.255-SNAPSHOT` β [Updates: `1.9.25`, `2.4.20`]
- `org.jetbrains.kotlin:kotlin-compiler-internal-test-framework 1.8.255-SNAPSHOT` β [Updates: `1.9.25`, `2.4.20`]
- `org.jetbrains.kotlin:kotlin-gradle-plugin 1.8.255-SNAPSHOT` β [Updates: `1.9.25`, `2.4.20`]
- `org.jetbrains.kotlin:kotlin-gradle-plugin-api 1.8.255-SNAPSHOT` β [Updates: `1.9.25`, `2.4.20`]
- `org.jetbrains.kotlin:kotlin-reflect 1.8.255-SNAPSHOT` β [Updates: `1.9.25`, `2.4.20`]
- `org.jetbrains.kotlin:kotlin-script-runtime 1.8.255-SNAPSHOT` β [Updates: `1.9.25`, `2.4.20`]
- `org.jetbrains.kotlin:kotlin-stdlib 1.8.255-SNAPSHOT` β [Updates: `1.9.25`, `2.4.20`]
- `org.jetbrains.kotlin:kotlin-test 1.8.255-SNAPSHOT` β [Updates: `1.9.25`, `2.4.20`]
- `org.reflections:reflections 0.10.2`
- `io.arrow-kt.arrow-gradle-config-kotlin 0.10.2` β [Updates: `0.11.0`]
- `io.arrow-kt.arrow-gradle-config-publish 0.10.2` β [Updates: `0.11.0`]
- `org.jetbrains.kotlin.jvm 1.8.255-SNAPSHOT` β [Updates: `1.9.25`, `2.4.20`]sandbox/build.gradle.kts
settings.gradle.kts
gradle-wrapper (1)
gradle/wrapper/gradle-wrapper.properties (1)
- `gradle 7.5.1` β [Updates: `7.6.6`, `9.7.1`]
html (2)
docs/docs/_includes/_head-docs-inject.html (1)
- `font-awesome 4.7.0` β [Updates: `7.3.1`]
docs/docs/_includes/_js-bottom-docs.html (1)
- `jquery 3.6.0` β [Updates: `3.7.1`, `4.0.0`]
---
- [ ] Check this box to trigger a request for Renovate to run again on this repository
Contributor guide
No contributing guide indexed for this repository
Research direction
Start with the Dependency Dashboard and Renovate documentation, then inspect the dependency entries in docs/Gemfile, gradle/libs.versions.toml, gradle/wrapper/gradle-wrapper.properties, the listed workflow files, and the HTML includes. The issue contains many rate-limited and open updates rather than one scoped change; completion would require determining which updates are intended and verifying the affected build, workflows, and documentation.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- github-actions, html, jekyll, jquery, kotlin, ruby
- Domain
- build-system, ci-cd, documentation, tooling
- Issue type
- Refactor
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 20/100