Google Git
Sign in
fuchsia/integration/0a031ef7957b31ddb2bc3f005c54be30469eaa89
commit
0a031ef7957b31ddb2bc3f005c54be30469eaa89
[log]
author
Bruno Dal Bo <brunodalbo@fuchsia.infra.roller.google.com>
Tue Sep 03 22:08:30 2024 +0000
committer
Copybara-Service <copybara-worker@google.com>
Tue Sep 03 15:10:00 2024 -0700
tree
e519eeafe1fd2d9be8ba10536aa7db923e44678c
parent
f66a7ffdb6a880f3b15f732627ef52dfbb72c055 [diff]
[roll] Roll fuchsia [rust_crates] Update proptest to 1.5.0

Contains desired fix to clobbering configuration.

Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/1109756
Original-Revision: 07a17e83d2c677c8efe1a97cc6bf57ccdbc8b043
GitOrigin-RevId: b9c0e2135094c29f32ff7e5ff75b69183481db89
Change-Id: Ie3a67b5234202e320f8e2a959098dc722ea3d236
1 file changed
tree: e519eeafe1fd2d9be8ba10536aa7db923e44678c
  1. ctf/
  2. git-hooks/
  3. infra/
  4. third_party/
  5. cts
  6. firmware
  7. flower
  8. jiri.lock
  9. MILESTONE
  10. minimal
  11. prebuilts
  12. README.md
  13. stem
  14. test_durations
  15. toolchain
README.md

Integration

This repository contains Fuchsia's Global Integration manifest files.

Making changes

All changes should be made to the internal version of this repository. Our infrastructure automatically updates this version when the internal one changes.

Currently all changes must be made by a Google employee. Non-Google employees wishing to make a change can ask for assistance via the IRC channel #fuchsia on Freenode.

Obtaining the source

First install Jiri.

Next run:

$ jiri init
$ jiri import minimal https://fuchsia.googlesource.com/integration
$ jiri update

Third party

Third party projects should have their own subdirectory in ./third_party.