Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Makefile: Update the OpenTitan boot ROM #1935

Merged
merged 1 commit into from Jun 15, 2020

Conversation

alistair23
Copy link
Contributor

Pull Request Overview

Updates the OT boot ROM to fix the failing CI.

Testing Strategy

CI

TODO or Help Wanted

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
@lschuermann
Copy link
Member

lschuermann commented Jun 15, 2020

Having the CI break randomly because of the CI mirror changing / deleting old artifacts is very unfortunate. Is there some other mirror we could use to achieve this? Does the Azure Dev pipeline make any guarantees regarding the availability of artifacts?

If not, can we mirror this ourselves and verify the integrity by hashing after download so we don't have to trust the mirror? If the (binary artifact's) license allows it, publishing to Zenodo could be an option.

Nonetheless this of course should be merged to unbreak the CI.

@ppannuto
Copy link
Member

bors r+ p=9999

@bors bors bot merged commit 79ca88a into tock:master Jun 15, 2020
@alistair23 alistair23 deleted the alistair/ot-update branch June 15, 2020 15: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.

None yet

4 participants