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

More work on threat model #136

Merged
merged 4 commits into from
Apr 24, 2024
Merged

Conversation

nikomatsakis
Copy link
Member

Finished write-up, added some tests

@nikomatsakis
Copy link
Member Author

I don't know why we are getting these errors. My hunch is that we are running with a different toolchain than I used locally. Annoying.

@nikomatsakis
Copy link
Member Author

cc @oli-obk any advice here?

@oli-obk
Copy link
Contributor

oli-obk commented Apr 24, 2024

Yes, ui tests can change whenever you update your compiler. You could ignore stderr entirely and only rely on annotations in the test file if that is sufficient for your use case.

Otherwise, a rustup toolchain file is useful to ensure consistency across all contributors

@nikomatsakis
Copy link
Member Author

@oli-obk I think annotations would suffice, how do I make that change?

@fpoli
Copy link
Contributor

fpoli commented Apr 24, 2024

I think Oli is referring to the //~ ERROR annotations that you already wrote. So, it should be enough to remove the .stderr files from this PR.

@oli-obk
Copy link
Contributor

oli-obk commented Apr 24, 2024

We'll need to switch ui_test to using OutputConflictHandling::Ignore in the Config struct

@nikomatsakis
Copy link
Member Author

@oli-obk like that?

@nikomatsakis nikomatsakis added this pull request to the merge queue Apr 24, 2024
Merged via the queue into duchess-rs:main with commit ac21507 Apr 24, 2024
5 checks passed
@oli-obk
Copy link
Contributor

oli-obk commented Apr 24, 2024

Yes, this is how bevy does it, too.

If you still want it updated regularly, a cronjob could auto-open PRs if the output changes

@nikomatsakis
Copy link
Member Author

Oh, that'd be useful, no idea how hard that'd be to set up tho

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