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

TK-02545: 2020 08 03 validate links #272

Merged
merged 17 commits into from Aug 7, 2020

Conversation

thedavidmeister
Copy link
Contributor

@thedavidmeister thedavidmeister commented Aug 4, 2020

implements callbacks to validate links

sits on top of #276

followups:

  • split out workflows for validation better
  • retry missing deps
  • fix tests for invalid validation for both add links and commit (currently they pass even though the chain head moves forward)

@thedavidmeister thedavidmeister changed the base branch from develop to 2020-08-05-entry-defs-macro August 5, 2020 10:17
@thedavidmeister thedavidmeister changed the title WIP: 2020 08 03 validate links 2020 08 03 validate links Aug 5, 2020
@thedavidmeister thedavidmeister changed the title 2020 08 03 validate links TK-02545: 2020 08 03 validate links Aug 5, 2020
@thedavidmeister thedavidmeister changed the base branch from 2020-08-05-entry-defs-macro to develop August 5, 2020 10:47
@neonphog
Copy link
Contributor

neonphog commented Aug 6, 2020

tru loc changed

$ echo $(((2816 + 99) - (694 * 3))) # (added + removed) - (Cargo.lock * 3)
833

}
}
}
_ => {}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

maybe brief comment on why it's ok to ignore all other variants?

Copy link
Contributor

@neonphog neonphog left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

awesome, looks good 👍

@thedavidmeister thedavidmeister merged commit e773d6d into develop Aug 7, 2020
@jost-s jost-s deleted the 2020-08-03-validate-links branch January 18, 2023 15:32
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

2 participants