Skip to content

Actions: arrow-kt/arrow-proofs

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
54 workflow runs
54 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Update gradle/gradle-build-action action to v2.12.0 build #147: Pull request #35 synchronize by renovate bot
July 24, 2023 19:22 2m 21s renovate/gradle-gradle-build-action-2.x
renovate/gradle-gradle-build-action-2.x
July 24, 2023 19:22 2m 21s
Update actions/setup-java action to v3.13.0 build #146: Pull request #38 synchronize by renovate bot
July 24, 2023 13:21 2m 45s renovate/actions-setup-java-3.x
renovate/actions-setup-java-3.x
July 24, 2023 13:21 2m 45s
Update dependency org.junit:junit-bom to v5.10.2 build #145: Pull request #44 synchronize by renovate bot
July 23, 2023 16:12 2m 22s renovate/junit5-monorepo
renovate/junit5-monorepo
July 23, 2023 16:12 2m 22s
Update gradle/gradle-build-action action to v2.12.0 build #144: Pull request #35 synchronize by renovate bot
July 17, 2023 22:56 2m 11s renovate/gradle-gradle-build-action-2.x
renovate/gradle-gradle-build-action-2.x
July 17, 2023 22:56 2m 11s
Update gradle/gradle-build-action action to v2.12.0 build #143: Pull request #35 synchronize by renovate bot
July 10, 2023 16:32 2m 37s renovate/gradle-gradle-build-action-2.x
renovate/gradle-gradle-build-action-2.x
July 10, 2023 16:32 2m 37s
Update dependency io.github.classgraph:classgraph to v4.8.172 build #142: Pull request #42 synchronize by renovate bot
July 6, 2023 01:32 2m 17s renovate/classgraph
renovate/classgraph
July 6, 2023 01:32 2m 17s
Update dependency gradle to v7.6.4 build #141: Pull request #43 synchronize by renovate bot
June 30, 2023 16:30 2m 43s renovate/gradle-7.x
renovate/gradle-7.x
June 30, 2023 16:30 2m 43s
Update gradle/gradle-build-action action to v2.12.0 build #140: Pull request #35 synchronize by renovate bot
June 29, 2023 17:09 2m 50s renovate/gradle-gradle-build-action-2.x
renovate/gradle-gradle-build-action-2.x
June 29, 2023 17:09 2m 50s
Update gradle/gradle-build-action action to v2.12.0 build #139: Pull request #35 synchronize by renovate bot
June 29, 2023 17:09 2m 55s renovate/gradle-gradle-build-action-2.x
renovate/gradle-gradle-build-action-2.x
June 29, 2023 17:09 2m 55s
Update gradle/gradle-build-action action to v2.12.0 build #138: Pull request #35 synchronize by renovate bot
June 29, 2023 01:54 2m 18s renovate/gradle-gradle-build-action-2.x
renovate/gradle-gradle-build-action-2.x
June 29, 2023 01:54 2m 18s
Update gradle/gradle-build-action action to v2.12.0 build #137: Pull request #35 synchronize by renovate bot
June 29, 2023 01:54 2m 18s renovate/gradle-gradle-build-action-2.x
renovate/gradle-gradle-build-action-2.x
June 29, 2023 01:54 2m 18s
Update arrowGradleConfig to v0.11.0 build #136: Pull request #45 opened by renovate bot
June 19, 2023 10:08 1m 46s renovate/arrowgradleconfig
renovate/arrowgradleconfig
June 19, 2023 10:08 1m 46s
Update actions/checkout action to v3.6.0 build #135: Pull request #36 synchronize by renovate bot
June 9, 2023 15:26 3m 41s renovate/actions-checkout-3.x
renovate/actions-checkout-3.x
June 9, 2023 15:26 3m 41s
Update dependency jquery to v3.7.1 build #134: Pull request #29 synchronize by renovate bot
May 28, 2023 11:20 2m 20s renovate/jquery-3.x
renovate/jquery-3.x
May 28, 2023 11:20 2m 20s
Update dependency org.junit:junit-bom to v5.10.2 build #133: Pull request #44 synchronize by renovate bot
May 28, 2023 11:20 3m 31s renovate/junit5-monorepo
renovate/junit5-monorepo
May 28, 2023 11:20 3m 31s
Update dependency io.github.classgraph:classgraph to v4.8.172 build #132: Pull request #42 synchronize by renovate bot
May 28, 2023 11:20 2m 35s renovate/classgraph
renovate/classgraph
May 28, 2023 11:20 2m 35s
Update gradle/gradle-build-action action to v2.12.0 build #131: Pull request #35 synchronize by renovate bot
April 17, 2023 12:29 2m 51s renovate/gradle-gradle-build-action-2.x
renovate/gradle-gradle-build-action-2.x
April 17, 2023 12:29 2m 51s
Update actions/checkout action to v3.6.0 build #130: Pull request #36 synchronize by renovate bot
April 17, 2023 12:29 2m 18s renovate/actions-checkout-3.x
renovate/actions-checkout-3.x
April 17, 2023 12:29 2m 18s
Update actions/setup-java action to v3.13.0 build #129: Pull request #38 synchronize by renovate bot
March 27, 2023 21:46 3m 43s renovate/actions-setup-java-3.x
renovate/actions-setup-java-3.x
March 27, 2023 21:46 3m 43s
Update actions/checkout action to v3.6.0 build #128: Pull request #36 synchronize by renovate bot
March 24, 2023 07:08 2m 51s renovate/actions-checkout-3.x
renovate/actions-checkout-3.x
March 24, 2023 07:08 2m 51s
Update stefanzweifel/git-auto-commit-action action to v4.16.0 build #127: Pull request #37 synchronize by renovate bot
March 18, 2023 02:12 2m 50s renovate/stefanzweifel-git-auto-commit-action-4.x
renovate/stefanzweifel-git-auto-commit-action-4.x
March 18, 2023 02:12 2m 50s
Update gradle/gradle-build-action action to v2.12.0 build #126: Pull request #35 synchronize by renovate bot
March 18, 2023 02:12 2m 41s renovate/gradle-gradle-build-action-2.x
renovate/gradle-gradle-build-action-2.x
March 18, 2023 02:12 2m 41s
Update dependency gradle to v7.6.4 build #125: Pull request #43 synchronize by renovate bot
March 18, 2023 02:12 3m 42s renovate/gradle-7.x
renovate/gradle-7.x
March 18, 2023 02:12 3m 42s
Update actions/setup-java action to v3.13.0 build #124: Pull request #38 synchronize by renovate bot
March 18, 2023 02:10 4m 0s renovate/actions-setup-java-3.x
renovate/actions-setup-java-3.x
March 18, 2023 02:10 4m 0s
Update actions/checkout action to v3.6.0 build #123: Pull request #36 synchronize by renovate bot
March 18, 2023 02:10 2m 35s renovate/actions-checkout-3.x
renovate/actions-checkout-3.x
March 18, 2023 02:10 2m 35s