Skip to content
Java CI with Gradle

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

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 #15

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
1m 44s
1m 44s