arrow-kt / arrow-kt/arrow-proofs

Dependency Dashboard

Open
#4 0 comments 0 reactions 0 assignees View on GitHub
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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.