Skip to content

Disable the integrity check on CI#371

Merged
mrobinson merged 1 commit intomasterfrom
disable-integrity
Aug 17, 2023
Merged

Disable the integrity check on CI#371
mrobinson merged 1 commit intomasterfrom
disable-integrity

Conversation

@mrobinson
Copy link
Member

This is currently broken and it isn't going to be simple to fix.
Disabling this is better than always failing.

This is currently broken and it isn't going to be simple to fix.
Disabling this is better than always failing.
@sagudev
Copy link
Member

sagudev commented Aug 17, 2023

Relevant discussion in #345.

@mrobinson mrobinson added this pull request to the merge queue Aug 17, 2023
Merged via the queue into master with commit aa6b120 Aug 17, 2023
@jschwe jschwe deleted the disable-integrity branch December 4, 2025 10:41
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.

3 participants