Skip to content

Actions: typetools/checker-framework-gradle-plugin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
435 workflow runs
435 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
Merge pull request #43 from typetools/copy-edit Java CI with Gradle #435: Commit a0caae9 pushed by kelloggm
57m 33s main
main
57m 33s
Make the plugin compatible with isolated projects Java CI with Gradle #434: Pull request #40 synchronize by mernst
1h 36m 26s ip-prototype
ip-prototype
1h 36m 26s
Merge branch 'main' into ip-prototype Java CI with Gradle #433: Commit 464e6f3 pushed by mernst
1h 13m 20s ip-prototype
ip-prototype
1h 13m 20s
Make the plugin compatible with isolated projects Java CI with Gradle #432: Pull request #40 synchronize by mernst
14m 15s ip-prototype
ip-prototype
14m 15s
Command-line wins Java CI with Gradle #431: Commit b71f30e pushed by mernst
13m 58s ip-prototype
ip-prototype
13m 58s
fix: target Kotlin 2.0, so the plugin is compatible with Gradle 8.3+ Java CI with Gradle #430: Pull request #21 synchronize by kelloggm
Action required vlsi:kotlin2
vlsi:kotlin2
Action required
Merge pull request #42 from typetools/renovate/configure Java CI with Gradle #429: Commit ee8fccc pushed by kelloggm
8m 5s main
main
8m 5s
Support the wpi2.sh script via -Pwpi2 (#44) Java CI with Gradle #428: Commit 9488737 pushed by mernst
2h 11m 31s main
main
2h 11m 31s
Make the plugin compatible with isolated projects Java CI with Gradle #427: Pull request #40 synchronize by mernst
1h 50m 29s ip-prototype
ip-prototype
1h 50m 29s
Write the test plugin repository path with forward slashes Java CI with Gradle #426: Commit fca5d8c pushed by mernst
1h 39m 7s ip-prototype
ip-prototype
1h 39m 7s
Make the plugin compatible with isolated projects Java CI with Gradle #425: Pull request #40 synchronize by mernst
12m 27s ip-prototype
ip-prototype
12m 27s
Merge branch 'main' of ../checker-framework-gradle-plugin into ip-pro… Java CI with Gradle #424: Commit c8d34af pushed by mernst
12m 4s ip-prototype
ip-prototype
12m 4s
Support the wpi2.sh script via -Pwpi2 Java CI with Gradle #423: Pull request #44 synchronize by mernst
2h 7m 39s wpi2-support
wpi2-support
2h 7m 39s
Address code review Java CI with Gradle #422: Commit 21e5bda pushed by mernst
1h 41m 32s wpi2-support
wpi2-support
1h 41m 32s
Support the wpi2.sh script via -Pwpi2 Java CI with Gradle #421: Pull request #44 synchronize by mernst
1h 35m 29s wpi2-support
wpi2-support
1h 35m 29s
Simplify the -Pwpi2 implementation Java CI with Gradle #420: Commit e9a7b25 pushed by mernst
1h 32m 5s wpi2-support
wpi2-support
1h 32m 5s
Support the wpi2.sh script via -Pwpi2 Java CI with Gradle #419: Pull request #44 synchronize by mernst
7m 57s wpi2-support
wpi2-support
7m 57s
Fix problems with -Pwpi2 Java CI with Gradle #418: Commit 65af353 pushed by mernst
7m 57s wpi2-support
wpi2-support
7m 57s
Support the wpi2.sh script via -Pwpi2 Java CI with Gradle #417: Pull request #44 opened by mernst
34m 30s wpi2-support
wpi2-support
34m 30s
Support the wpi2.sh script via -Pwpi2 Java CI with Gradle #416: Commit 3d3362c pushed by mernst
34m 58s wpi2-support
wpi2-support
34m 58s
Copy-edit Java CI with Gradle #415: Pull request #43 opened by mernst
4h 2m 27s copy-edit
copy-edit
4h 2m 27s
Copy-edit Java CI with Gradle #414: Commit 7a54af6 pushed by mernst
3h 53m 4s copy-edit
copy-edit
3h 53m 4s
fix: target Kotlin 2.0, so the plugin is compatible with Gradle 8.3+ Java CI with Gradle #413: Pull request #21 synchronize by mernst
Action required vlsi:kotlin2
vlsi:kotlin2
Action required
Merge pull request #41 from typetools/auto-cancel-github-actions Java CI with Gradle #412: Commit c0ae8d8 pushed by kelloggm
5h 33m 18s main
main
5h 33m 18s
Merge pull request #37 from typetools/config-cache-8 Java CI with Gradle #411: Commit 690cf86 pushed by kelloggm
1h 59m 44s main
main
1h 59m 44s