Skip to content

Actions: opprop/checker-framework-inference

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
35 workflow runs
35 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump com.diffplug.spotless:spotless-plugin-gradle from 6.22.0 to 8.8.0 CI #762: Pull request #479 opened by dependabot Bot
9m 12s dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-8.8.0
dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-8.8.0
9m 12s
Bump gradle-wrapper from 8.10 to 9.6.1 CI #761: Pull request #478 opened by dependabot Bot
6m 17s dependabot/gradle/gradle-wrapper-9.6.1
dependabot/gradle/gradle-wrapper-9.6.1
6m 17s
Share test JVM argument configuration across all Gradle Test tasks. CI #760: Pull request #477 opened by aosen-xiong
9m 52s test-task-jdk9-exports
test-task-jdk9-exports
9m 52s
Chore: Update stale Checker Framework doc links CI #759: Pull request #476 opened by aosen-xiong
10m 37s stale-doc-reference-cleanup
stale-doc-reference-cleanup
10m 37s
Chore: Remove author tags CI #758: Pull request #475 synchronize by aosen-xiong
10m 54s clean-author-tags
clean-author-tags
10m 54s
Chore: Remove author tags CI #757: Pull request #475 opened by aosen-xiong
11m 7s clean-author-tags
clean-author-tags
11m 7s
Change mode to ENUM instead of String CI #756: Pull request #473 opened by aosen-xiong
8m 55s codex/mode-enum-from-master
codex/mode-enum-from-master
8m 55s
Fix CI CI #755: Pull request #455 synchronize by aosen-xiong
17m 12s bump-python
bump-python
17m 12s
Fix CI CI #754: Pull request #455 synchronize by aosen-xiong
13m 44s bump-python
bump-python
13m 44s
Fix CI CI #753: Pull request #455 synchronize by aosen-xiong
11m 41s bump-python
bump-python
11m 41s
Bump gradle-wrapper from 8.10 to 9.6.0 CI #752: Pull request #472 opened by dependabot Bot
6m 12s dependabot/gradle/gradle-wrapper-9.6.0
dependabot/gradle/gradle-wrapper-9.6.0
6m 12s
Bump com.diffplug.spotless:spotless-plugin-gradle from 6.22.0 to 8.7.0 CI #751: Pull request #471 opened by dependabot Bot
8m 32s dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-8.7.0
dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-8.7.0
8m 32s
Bump com.diffplug.spotless:spotless-plugin-gradle from 6.22.0 to 8.6.0 CI #750: Pull request #470 opened by dependabot Bot
8m 23s dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-8.6.0
dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-8.6.0
8m 23s
Bump com.diffplug.spotless:spotless-plugin-gradle from 6.22.0 to 8.5.1 CI #749: Pull request #469 opened by dependabot Bot
8m 29s dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-8.5.1
dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-8.5.1
8m 29s
Fix CI CI #748: Pull request #455 synchronize by aosen-xiong
12m 23s bump-python
bump-python
12m 23s
Bump com.diffplug.spotless:spotless-plugin-gradle from 6.22.0 to 8.5.0 CI #747: Pull request #468 opened by dependabot Bot
8m 53s dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-8.5.0
dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-8.5.0
8m 53s
Bump gradle-wrapper from 8.10 to 9.5.1 CI #746: Pull request #467 opened by dependabot Bot
12m 10s dependabot/gradle/gradle-wrapper-9.5.1
dependabot/gradle/gradle-wrapper-9.5.1
12m 10s
Bump gradle-wrapper from 8.10 to 9.5.0 CI #745: Pull request #466 opened by dependabot Bot
6m 31s dependabot/gradle/gradle-wrapper-9.5.0
dependabot/gradle/gradle-wrapper-9.5.0
6m 31s
Bump com.google.code.gson:gson from 2.9.1 to 2.14.0 CI #744: Pull request #465 opened by dependabot Bot
11m 18s dependabot/gradle/com.google.code.gson-gson-2.14.0
dependabot/gradle/com.google.code.gson-gson-2.14.0
11m 18s
Bump com.google.guava:guava from 31.1-jre to 33.6.0-jre CI #743: Pull request #464 opened by dependabot Bot
10m 7s dependabot/gradle/com.google.guava-guava-33.6.0-jre
dependabot/gradle/com.google.guava-guava-33.6.0-jre
10m 7s
Bump com.diffplug.spotless:spotless-plugin-gradle from 6.22.0 to 8.4.0 CI #742: Pull request #463 opened by dependabot Bot
41m 9s dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-8.4.0
dependabot/gradle/com.diffplug.spotless-spotless-plugin-gradle-8.4.0
41m 9s
Bump com.github.johnrengelman.shadow from 7.1.2 to 8.1.1 CI #741: Pull request #462 opened by dependabot Bot
45m 17s dependabot/gradle/com.github.johnrengelman.shadow-8.1.1
dependabot/gradle/com.github.johnrengelman.shadow-8.1.1
45m 17s
Bump gradle-wrapper from 8.10 to 9.4.1 CI #740: Pull request #461 opened by dependabot Bot
39m 38s dependabot/gradle/gradle-wrapper-9.4.1
dependabot/gradle/gradle-wrapper-9.4.1
39m 38s
Bump org.plumelib:options from 1.0.5 to 2.0.3 CI #739: Pull request #460 opened by dependabot Bot
31m 24s dependabot/gradle/org.plumelib-options-2.0.3
dependabot/gradle/org.plumelib-options-2.0.3
31m 24s
Bump org.plumelib:plume-util from 1.8.1 to 1.14.0 CI #738: Pull request #459 opened by dependabot Bot
33m 16s dependabot/gradle/org.plumelib-plume-util-1.14.0
dependabot/gradle/org.plumelib-plume-util-1.14.0
33m 16s