Test Solver Generation Package

Merge pull request #6 from tud-amr/dev #12

Sign in to view logs

Summary
Jobs
- basic
Run details
- Usage
- Workflow file

Triggered via push January 9, 2025 15:26

main

Status Success

Total duration 6m 13s

Artifacts –

main.yml

on: push