Skip to content

This pull request is to add CI (Will be merged by me)#3

Open
furio wants to merge 10 commits into
masterfrom
add-ci
Open

This pull request is to add CI (Will be merged by me)#3
furio wants to merge 10 commits into
masterfrom
add-ci

Conversation

@furio

@furio furio commented Sep 1, 2018

Copy link
Copy Markdown
Member

No description provided.

@furio furio self-assigned this Sep 1, 2018
@apaoluzzi

apaoluzzi commented Sep 1, 2018 via email

Copy link
Copy Markdown
Contributor

@apaoluzzi

Copy link
Copy Markdown
Contributor

I do not think a PR is required. Anyway ...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants