CI #12

Merged
sev merged 2 commits from ci into master 5 years ago
sev commented 5 years ago
Owner

Moved to new CI

Moved to new CI
sev closed this pull request 5 years ago
sev deleted branch ci 5 years ago
ci the build is pending
The pull request has been merged as 0347efc8ce.
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Loading…
There is no content yet.