Google GitGoogle Git
Sign in
fuchsia/integration/2fa271ffc572bd47838cac59d949ff88939b1e73
commit
2fa271ffc572bd47838cac59d949ff88939b1e73
[log]
author
Drew Fisher <zarvox@fuchsia.infra.roller.google.com>
Fri Dec 03 11:07:32 2021 +0000
committer
Copybara-Service <copybara-worker@google.com>
Fri Dec 03 03:08:39 2021 -0800
tree
20f281a6fdbbcff00e7b243f6d66ec904e7a59a4
parent
8866a6b2ca9742ab0b09d7746979275371334b71 [diff]
[roll] Roll fuchsia [fstar_integration] Disable flaky test

This test has started failing quite frequently on several builders.

Original-Bug: 88194
Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/613742
Original-Revision: 27b18e9f7671326251604617564d5052a316dd6b
GitOrigin-RevId: f9b44530776d4fe12a0ba6432ed1b8e8599c6576
Change-Id: I425f7792a5b816e0550c5696af079b63a3bac945
1 file changed
tree: 20f281a6fdbbcff00e7b243f6d66ec904e7a59a4
  1. infra/
  2. third_party/
  3. cts
  4. firmware
  5. flower
  6. jiri.lock
  7. minimal
  8. prebuilts
  9. README.md
  10. stem
  11. test_durations
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.