Skip to content

Setup GitHub actions#16

Closed
aabadie wants to merge 3 commits intomasterfrom
pr/ci/github-actions
Closed

Setup GitHub actions#16
aabadie wants to merge 3 commits intomasterfrom
pr/ci/github-actions

Conversation

@aabadie
Copy link
Copy Markdown
Owner

@aabadie aabadie commented Jun 18, 2020

Contribution description

Testing procedure

Issues/PRs references

@aabadie aabadie force-pushed the pr/ci/github-actions branch 2 times, most recently from 5d39e0a to 7a637f5 Compare June 25, 2020 07:34
@aabadie aabadie force-pushed the pr/ci/github-actions branch 6 times, most recently from 9912fef to c15df72 Compare July 6, 2020 13:24
@aabadie aabadie force-pushed the pr/ci/github-actions branch from ade006b to ffbc16a Compare July 6, 2020 13:30
@aabadie aabadie closed this Jul 6, 2020
@aabadie aabadie deleted the pr/ci/github-actions branch July 6, 2020 13:59
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.

1 participant