Java-21 CI Build&Test with Gradle

Fixed data platform-dependent problems for SMT solver classes #46

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request October 10, 2024 23:12

mikhirurg

opened #4

mikhirurg:development

Status Success

Total duration 42s

Artifacts –

master.yml

on: pull_request