Skip to content

Add CI that build klee and run tests into utbot docker #5

Closed
#6
Closed
Add CI that build klee and run tests into utbot docker#5
#6
Assignees
ladisgin
@ladisgin

Description

@ladisgin
ladisgin
opened on Feb 9, 2022

Add new workflow, that build klee into UTBot docker by build.sh script

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions