Skip to content
This repository was archived by the owner on Jan 17, 2021. It is now read-only.

Add CI #75

Merged
merged 1 commit into from
Apr 29, 2019
Merged

Add CI #75

merged 1 commit into from
Apr 29, 2019

Conversation

sreya
Copy link
Collaborator

@sreya sreya commented Apr 29, 2019

No description provided.

@sreya sreya requested a review from nhooyr April 29, 2019 21:31
@sreya sreya marked this pull request as ready for review April 29, 2019 21:31
Copy link
Contributor

@nhooyr nhooyr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I like the linting :)

@sreya sreya requested a review from nhooyr April 29, 2019 21:50
@@ -0,0 +1,22 @@
#!/bin/bash

# inspired by nhooyr's days as CI overlord
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🔥

@nhooyr
Copy link
Contributor

nhooyr commented Apr 29, 2019

who said I retired as ci overlord????

@sreya
Copy link
Collaborator Author

sreya commented Apr 29, 2019

you're a sail boy now

@sreya sreya merged commit 24c7d94 into master Apr 29, 2019
@sreya sreya deleted the ci branch April 29, 2019 21:56
@nhooyr
Copy link
Contributor

nhooyr commented Apr 29, 2019

no dear sir, I'm Mr. WebSocket himself

@sreya
Copy link
Collaborator Author

sreya commented Apr 29, 2019

#nhooyr_software

@sreya sreya mentioned this pull request Apr 30, 2019
Closed
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.

2 participants