Skip to content

Actions: opprop/checker-framework-inference

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
gradle in /. - Update #1331911710 Dependabot Updates #7: by dependabot Bot
39s master
master
39s
gradle in /. - Update #1330700191 Dependabot Updates #6: by dependabot Bot
41s master
master
41s
gradle in /. - Update #1328200616 Dependabot Updates #5: by dependabot Bot
40s master
master
40s
gradle in /. - Update #1326394086 Dependabot Updates #4: by dependabot Bot
44s master
master
44s
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
gradle in /. - Update #1324403733 Dependabot Updates #3: by dependabot Bot
1m 32s master
master
1m 32s
gradle in /. - Update #1322938208 Dependabot Updates #2: by dependabot Bot
37s master
master
37s
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
Bump com.google.guava:guava from 31.1-jre to 33.5.0-jre CI #737: Pull request #458 opened by dependabot Bot
36m 3s dependabot/gradle/com.google.guava-guava-33.5.0-jre
dependabot/gradle/com.google.guava-guava-33.5.0-jre
36m 3s
Bump com.google.code.gson:gson from 2.9.1 to 2.13.2 CI #736: Pull request #457 opened by dependabot Bot
23m 15s dependabot/gradle/com.google.code.gson-gson-2.13.2
dependabot/gradle/com.google.code.gson-gson-2.13.2
23m 15s
Bump tools.aqua:z3-turnkey from 4.11.2 to 4.14.1 CI #735: Pull request #456 opened by dependabot Bot
15m 54s dependabot/gradle/tools.aqua-z3-turnkey-4.14.1
dependabot/gradle/tools.aqua-z3-turnkey-4.14.1
15m 54s
gradle in /. - Update #1321090041 Dependabot Updates #1: by dependabot Bot
1m 20s master
master
1m 20s
Bump Python to 3.9 in CI CI #734: Pull request #455 synchronize by aosen-xiong
10m 51s bump-python
bump-python
10m 51s
Bump Python to 3.9 in CI CI #733: Pull request #455 synchronize by aosen-xiong
11m 6s bump-python
bump-python
11m 6s
Bump Python to 3.9 in CI CI #732: Pull request #455 synchronize by aosen-xiong
10m 57s bump-python
bump-python
10m 57s
Bump Python to 3.9 in CI CI #731: Pull request #455 synchronize by aosen-xiong
10m 56s bump-python
bump-python
10m 56s
Bump Python to 3.9 in CI CI #730: Pull request #455 synchronize by aosen-xiong
12m 25s bump-python
bump-python
12m 25s
Bump Python to 3.9 in CI CI #729: Pull request #455 opened by aosen-xiong
27m 34s bump-python
bump-python
27m 34s
Use AnnotationMirrorSet and remove usage of Set<AnnotationMirror> CI #728: Pull request #454 synchronize by aosen-xiong
11m 14s remove-deprecated-api
remove-deprecated-api
11m 14s