Skip to content

Actions: ths-rwth/smtrat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix default strategy Build and Test #16: Commit 68ebebe pushed by smtrat
38m 48s master
master
38m 48s
smt comp description Build and Test #15: Commit 876e939 pushed by smtrat
39m 0s master
master
39m 0s
switch from LRAModule to SimplexModule Build and Test #14: Commit 94e0fb0 pushed by smtrat
39m 38s master
master
39m 38s
update default strategy Build and Test #13: Commit b694a2c pushed by smtrat
17m 17s master
master
17m 17s
update version Build and Test #12: Commit b10a4c2 pushed by smtrat
38m 29s master
master
38m 29s