Rollup merge of #123515 - GuillaumeGomez:use-include, r=notriddle · RalfJung/miri@8c5486c · GitHub

Commit

Rollup merge of #123515 - GuillaumeGomez:use-include, r=notriddle

Browse files

Use `include` command to reduce code duplication

Since we updated `browser-ui-test` version, let's make use of the new commands. :)

r? `@notriddle`

Loading branch information

GuillaumeGomez authored Apr 5, 2024

2 parents e7a7fd6 + 6f65d83 commit 8c5486c