Google Git
Sign in
fuchsia/integration/4b80d6fc91c3147e25029082c3258b5685217553
commit
4b80d6fc91c3147e25029082c3258b5685217553
[log]
author
Bruno Dal Bo <brunodalbo@fuchsia.infra.roller.google.com>
Fri Sep 06 21:24:44 2024 +0000
committer
Copybara-Service <copybara-worker@google.com>
Fri Sep 06 14:26:36 2024 -0700
tree
89a0adfc8e4cefe042da2445c6a53e4eccbe725d
parent
d8a87d42daa5ed26e8f816eb144fddac9eb24e7d [diff]
[roll] Roll fuchsia [proptest-support] std,no_std failed_seeds

Proptest-support assumed all the users would be no_std. Export two
different macros instead so they can work in `std` crates.

Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/1114556
Original-Revision: 66529601a89fb78b8354b5ef26225ced85ce43fa
GitOrigin-RevId: 6ed8784068521297be51988bd8919bec96d2cc10
Change-Id: I7f8638a9b523841cbc603bfa448bf9d99be050af
1 file changed
tree: 89a0adfc8e4cefe042da2445c6a53e4eccbe725d
  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.