Skip to content
This repository was archived by the owner on Apr 28, 2025. It is now read-only.

add CI #1

Merged
merged 1 commit into from
Jul 12, 2018
Merged

add CI #1

merged 1 commit into from
Jul 12, 2018

Conversation

japaric
Copy link
Member

@japaric japaric commented Jul 12, 2018

No description provided.

@japaric japaric force-pushed the ci branch 3 times, most recently from 6652314 to fdc509d Compare July 12, 2018 06:13
@japaric japaric merged commit 59c4cc6 into master Jul 12, 2018
@japaric japaric deleted the ci branch July 12, 2018 06:30
augustin-cheron pushed a commit to augustin-cheron/libm that referenced this pull request Apr 25, 2019
alexcrichton pushed a commit that referenced this pull request Sep 9, 2019
tgross35 pushed a commit that referenced this pull request Apr 18, 2025
tgross35 pushed a commit that referenced this pull request Apr 18, 2025
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