Skip to content

Actions: dafny-lang/dafny-gradle-plugin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump plugin version and update default Dafny version in docs Java CI with Gradle #30: Pull request #21 opened by robin-aws
January 10, 2025 17:18 2m 44s robin-aws:bump-version
robin-aws:bump-version
January 10, 2025 17:18 2m 44s
Apply java and kotlin source formatting Java CI with Gradle #29: Pull request #20 synchronize by hillcg-aws
January 8, 2025 19:00 2m 43s hillcg-aws:spotless
hillcg-aws:spotless
January 8, 2025 19:00 2m 43s
Apply java and kotlin source formatting Java CI with Gradle #28: Pull request #20 synchronize by hillcg-aws
January 8, 2025 18:49 2m 42s hillcg-aws:spotless
hillcg-aws:spotless
January 8, 2025 18:49 2m 42s
Apply java and kotlin source formatting Java CI with Gradle #27: Pull request #20 opened by hillcg-aws
January 8, 2025 18:38 2m 43s hillcg-aws:spotless
hillcg-aws:spotless
January 8, 2025 18:38 2m 43s
chore: test with 4.9.1 Java CI with Gradle #26: Pull request #15 synchronize by robin-aws
January 8, 2025 18:20 2m 29s robin-aws-patch-1
robin-aws-patch-1
January 8, 2025 18:20 2m 29s
Update gradlew to 8.12 (enables building on Mac) Java CI with Gradle #25: Pull request #19 synchronize by hillcg-aws
January 8, 2025 17:40 2m 39s hillcg-aws:gradle
hillcg-aws:gradle
January 8, 2025 17:40 2m 39s
Update gradlew to 8.12 (enables building on Mac) Java CI with Gradle #24: Pull request #19 opened by hillcg-aws
January 8, 2025 14:15 2m 29s hillcg-aws:gradle
hillcg-aws:gradle
January 8, 2025 14:15 2m 29s
Add new formatter / linter tasks Java CI with Gradle #23: Pull request #17 opened by hillcg-aws
January 7, 2025 22:40 2m 37s hillcg-aws:formatter
hillcg-aws:formatter
January 7, 2025 22:40 2m 37s
Fix incremental build Java generation. Java CI with Gradle #22: Pull request #16 synchronize by hillcg-aws
January 7, 2025 20:36 2m 43s hillcg-aws:inc-build
hillcg-aws:inc-build
January 7, 2025 20:36 2m 43s
Fix incremental build Java generation. Java CI with Gradle #21: Pull request #16 opened by hillcg-aws
January 7, 2025 18:50 2m 35s hillcg-aws:inc-build
hillcg-aws:inc-build
January 7, 2025 18:50 2m 35s
chore: test with 4.9.1 Java CI with Gradle #20: Pull request #15 opened by robin-aws
January 6, 2025 22:36 2m 25s robin-aws-patch-1
robin-aws-patch-1
January 6, 2025 22:36 2m 25s
feat: Allow --standard-libraries Java CI with Gradle #19: Pull request #14 synchronize by robin-aws
December 19, 2024 19:53 2m 35s robin-aws:standard-libraries
robin-aws:standard-libraries
December 19, 2024 19:53 2m 35s
feat: Allow --standard-libraries Java CI with Gradle #18: Pull request #14 synchronize by robin-aws
December 18, 2024 18:54 31s robin-aws:standard-libraries
robin-aws:standard-libraries
December 18, 2024 18:54 31s
feat: Allow --standard-libraries Java CI with Gradle #17: Pull request #14 opened by robin-aws
December 11, 2024 00:08 2m 14s robin-aws:standard-libraries
robin-aws:standard-libraries
December 11, 2024 00:08 2m 14s
feat: Use semver4j to parse Dafny version and ignore build metadata Java CI with Gradle #16: Pull request #13 synchronize by robin-aws
December 10, 2024 23:36 2m 18s robin-aws:ignore-build-metadata-in-dafny-version
robin-aws:ignore-build-metadata-in-dafny-version
December 10, 2024 23:36 2m 18s
feat: Use semver4j to parse Dafny version and ignore build metadata Java CI with Gradle #15: Pull request #13 synchronize by robin-aws
December 10, 2024 23:29 1m 54s robin-aws:ignore-build-metadata-in-dafny-version
robin-aws:ignore-build-metadata-in-dafny-version
December 10, 2024 23:29 1m 54s
feat: Use semver4j to parse Dafny version and ignore build metadata Java CI with Gradle #14: Pull request #13 synchronize by robin-aws
December 10, 2024 23:20 1m 52s robin-aws:ignore-build-metadata-in-dafny-version
robin-aws:ignore-build-metadata-in-dafny-version
December 10, 2024 23:20 1m 52s
feat: Use semver4j to parse Dafny version and ignore build metadata Java CI with Gradle #13: Pull request #13 opened by robin-aws
December 10, 2024 22:21 1m 57s robin-aws:ignore-build-metadata-in-dafny-version
robin-aws:ignore-build-metadata-in-dafny-version
December 10, 2024 22:21 1m 57s