Google GitGoogle Git
Sign in
fuchsia/integration/23c55057bab87d01d592bc51760af63e156ffbdf
commit
23c55057bab87d01d592bc51760af63e156ffbdf
[log]
author
Zeling Feng <zeling@fuchsia.infra.roller.google.com>
Mon Mar 27 18:33:32 2023 +0000
committer
Copybara-Service <copybara-worker@google.com>
Mon Mar 27 11:34:53 2023 -0700
tree
0b29c6f7bed5ab191de7c976b3c5849ae346e595
parent
a0da564ad0b75644625bb5b17fc5d80ca8bf399a [diff]
[roll] Roll fuchsia [netstack3] Clean up `Instant::checked_add` usages

Update TCP state machine to use the more succint `Instant::add` method.

Test: No behavior change
Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/825001
Original-Revision: 7c7511c4eaa1762e00bcb82fea91ab47accde50f
GitOrigin-RevId: 9ef8624c10044bf9c4aa2a0b67455b819e509ad9
Change-Id: I6b1402ddb87f2c7f85e270a333a68c614ae1c09c
1 file changed
tree: 0b29c6f7bed5ab191de7c976b3c5849ae346e595
  1. git-hooks/
  2. infra/
  3. third_party/
  4. cts
  5. firmware
  6. flower
  7. jiri.lock
  8. MILESTONE
  9. minimal
  10. prebuilts
  11. README.md
  12. stem
  13. test_durations
  14. 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.