summaryrefslogtreecommitdiff
path: root/.github/workflows/integration.yml
AgeCommit message (Expand)Author
2020-11-17[fix] fix github workflow: deploy documentationAlexandre Flament
2020-11-17[fix] fix github workflowAlexandre Flament
2020-11-17[fix] fix github workflowAlexandre Flament
2020-11-17[mod] use github actions instead of travisAlexandre Flament