Workflow runs · ths-rwth/carl · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

5 workflow runs

5 workflow runs

update version Build and Test #18: Commit 0aa6abe pushed by smtrat

1h 7m 16s master

master

1h 7m 16s

fix clang build Build and Test #17: Commit 0bc4570 pushed by smtrat

42m 42s master

master

42m 42s

bump version Build and Test #16: Commit 2156a73 pushed by smtrat

41m 22s master

master

41m 22s

bump version Build and Test #15: Commit 96365e1 pushed by smtrat

1m 16s master

master

1m 16s

Merge pull request #54 from antallaszlo011/patch-1 Build and Test #14: Commit 6b21adf pushed by ValentinPromies

38m 28s master

master

38m 28s