Skip to content

Commit

Permalink
Merge pull request #599 from betrusted-io/bunnie-patch-1
Browse files Browse the repository at this point in the history
Update verifier.rs
  • Loading branch information
bunnie authored Dec 2, 2024
2 parents 625d7e6 + 69f476b commit d3c4836
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions xtask/src/verifier.rs
Original file line number Diff line number Diff line change
Expand Up @@ -12,12 +12,12 @@ pub fn check_project_consistency() -> Result<(), DynError> {
// TODO: retire utralib/svd2utra from publication as well
let check_pkgs = [
// this set updates with kernel API changes
"xous^0.9.64",
"xous-ipc^0.10.2",
"xous-api-log^0.1.61",
"xous-api-names^0.9.63",
"xous-api-susres^0.9.61",
"xous-api-ticktimer^0.9.61",
"xous^0.9.65",
"xous-ipc^0.10.3",
"xous-api-log^0.1.62",
"xous-api-names^0.9.64",
"xous-api-susres^0.9.62",
"xous-api-ticktimer^0.9.62",
];
// utra/svd2utra changes are downgraded to warnings because these now prefer to pull
// from the local patch version, so any inconsistency simply indicates we forgot to
Expand Down

0 comments on commit d3c4836

Please sign in to comment.