Skip to content
This repository has been archived by the owner on Feb 23, 2022. It is now read-only.

rework ci #10

Merged
merged 3 commits into from
Mar 20, 2020
Merged

rework ci #10

merged 3 commits into from
Mar 20, 2020

Conversation

rpahli
Copy link
Collaborator

@rpahli rpahli commented Mar 20, 2020

rework ci

@rpahli rpahli force-pushed the include-namespaces branch 4 times, most recently from 99c5c42 to e9e308b Compare March 20, 2020 15:34
@rpahli rpahli changed the title enable include namespaces rework ci Mar 20, 2020
@rpahli rpahli merged commit 17edf61 into master Mar 20, 2020
@rpahli rpahli deleted the include-namespaces branch March 20, 2020 17:00
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