Skip to content
This repository has been archived by the owner on Apr 23, 2021. It is now read-only.

Add a check-vendor target #19

Open
emillon opened this issue Jun 25, 2019 · 0 comments
Open

Add a check-vendor target #19

emillon opened this issue Jun 25, 2019 · 0 comments

Comments

@emillon
Copy link
Collaborator

emillon commented Jun 25, 2019

Hi,

In mirage/fiat#24 we added a check-vendors target to check that the vendored code corresponds to what's in the upstream repository. Let's add a similar one here.
@emillon emillon changed the title Add a check-vendor Add a check-vendor target Jun 25, 2019
@emillon emillon mentioned this issue Jun 25, 2019
Open
@hannesm hannesm mentioned this issue Jul 15, 2020
Merged
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@emillon