summaryrefslogtreecommitdiff
path: root/.github/workflows/circleci-redirector.yml
AgeCommit message (Expand)Author
2023-04-18Proper condition for redirector actionRémi Flamary
2023-04-18add if to circleci_redirectorRémi Flamary
2023-04-18debug circleci_redirectorRémi Flamary
2023-04-17[MRG] Fix circleci_redirector and codecov (#460)Rémi Flamary
2020-05-04rename files and add pull request for proper status in prRémi Flamary