Skip to content
Java CI with Gradle

feat: Use semver4j to parse Dafny version and ignore build metadata #16

Sign in to view logs

feat: Use semver4j to parse Dafny version and ignore build metadata

feat: Use semver4j to parse Dafny version and ignore build metadata #16

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 8s
2m 8s