Skip to content

[do not merge] testing PR 8890 - #9300

Closed
lidel wants to merge 52 commits into
masterfrom
feat/redirects-files
Closed

lidel wants to merge 52 commits into
masterfrom
feat/redirects-files

Conversation

@lidel

@lidel lidel commented Sep 22, 2022 •

Copy link
Copy Markdown
Contributor

This PR is a work around to run sharness without having to sink time in debugging CirlceCI failure caused by PR from a fork:

AFAIK this is a known problem, and we already want to move away from CircleCI to GithubActions (cc @galargh for visibility)

Update: looks like a CI hiccup, circleci in #8890 works again 🤷

@lidel lidel closed this Sep 22, 2022
@lidel
lidel deleted the feat/redirects-files branch September 22, 2022 23:57
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