Skip to content

CI file for RISC-V#7

Open
pmatos wants to merge 6 commits intoportsfrom
rv-ci
Open

CI file for RISC-V#7
pmatos wants to merge 6 commits intoportsfrom
rv-ci

Conversation

@pmatos
Copy link
Copy Markdown
Owner

@pmatos pmatos commented May 14, 2020

No description provided.

@pmatos pmatos added the ci Continuous Integration label May 14, 2020
@pmatos pmatos requested a review from jessealama May 14, 2020 13:36
@pmatos pmatos self-assigned this May 14, 2020
@pmatos pmatos force-pushed the rv-ci branch 2 times, most recently from 5cbd670 to 535f708 Compare May 15, 2020 09:35
Expected to fail at the moment.
@pmatos pmatos marked this pull request as ready for review May 15, 2020 13:46
@pmatos
Copy link
Copy Markdown
Owner Author

pmatos commented May 15, 2020

@jessealama for now we cannot bootstrap but having these failures with continue-on-error set will allow us to track progress.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Continuous Integration

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant