Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore(.travis.yml): add Travis CI support #1

Merged
merged 1 commit into from Jul 27, 2017

Conversation

Kha
Copy link
Collaborator

@Kha Kha commented Jul 27, 2017

(I don't have push access to this repo)

@digama0 digama0 merged commit b37966e into leanprover-community:master Jul 27, 2017
spl added a commit to spl/mathlib that referenced this pull request Jun 27, 2018
khoek pushed a commit that referenced this pull request Aug 21, 2019
khoek pushed a commit that referenced this pull request Sep 8, 2019
Minor formatting changes
MadPidgeon added a commit that referenced this pull request Nov 18, 2022
Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants