Skip to content
This repository was archived by the owner on Feb 27, 2024. It is now read-only.

Comments

Simplify CI and fix build#56

Merged
domenkozar merged 1 commit intomasterfrom
fix-ci
Jul 25, 2018
Merged

Simplify CI and fix build#56
domenkozar merged 1 commit intomasterfrom
fix-ci

Conversation

@domenkozar
Copy link
Member

@domenkozar domenkozar commented Jul 25, 2018

Fix #52

@domenkozar domenkozar merged commit ded2861 into master Jul 25, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant