Skip to content

Actions: tlswg/tls13-spec

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
125 workflow runs
125 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Tracking by replaying a flight of 0-RTT data
Update Editor's Copy #192: Pull request #1334 opened by emanjon
December 28, 2023 12:09 2m 45s emanjon:patch-25
December 28, 2023 12:09 2m 45s
Privacy and PSK identifiers
Update Editor's Copy #191: Pull request #1333 opened by emanjon
December 18, 2023 09:35 2m 55s emanjon:patch-24
December 18, 2023 09:35 2m 55s
pages build and deployment
pages-build-deployment #33: by github-pages bot
November 29, 2023 17:46 44s
November 29, 2023 17:46 44s
"either send a ServerHello or a HelloRetryRequest depending on the co…
Update Editor's Copy #190: Commit 55a718b pushed by dconnolly
November 29, 2023 17:45 47s main
November 29, 2023 17:45 47s
Clarify how to negotiate groups if you want to respect the client order.
Update Editor's Copy #189: Pull request #1331 synchronize by dconnolly
November 29, 2023 17:34 3m 0s ekr:clarify_key_share_order
November 29, 2023 17:34 3m 0s
pages build and deployment
pages-build-deployment #32: by github-pages bot
November 5, 2023 17:38 59s
November 5, 2023 17:38 59s
pages build and deployment
pages-build-deployment #31: by github-pages bot
November 5, 2023 17:38 7s
November 5, 2023 17:38 7s
Merge pull request #1328 from martinthomson/aasvg
Update Editor's Copy #187: Commit 0bbbfb2 pushed by ekr
November 5, 2023 17:36 2m 26s main
November 5, 2023 17:36 2m 26s
Merge pull request #1329 from tlswg/seanturner-md-fixes
Update Editor's Copy #186: Commit f436206 pushed by ekr
November 5, 2023 17:35 2m 53s main
November 5, 2023 17:35 2m 53s
pages build and deployment
pages-build-deployment #30: by github-pages bot
October 18, 2023 16:56 54s
October 18, 2023 16:56 54s
asides
Update Editor's Copy #185: Commit b9269f1 pushed by seanturner
October 18, 2023 16:55 58s seanturner-asides
October 18, 2023 16:55 58s
md fixes
Update Editor's Copy #184: Pull request #1329 opened by seanturner
October 18, 2023 16:43 1m 4s seanturner-md-fixes
October 18, 2023 16:43 1m 4s
pages build and deployment
pages-build-deployment #29: by github-pages bot
October 18, 2023 16:42 1m 7s
October 18, 2023 16:42 1m 7s
annother mistake
Update Editor's Copy #183: Commit 952b27b pushed by seanturner
October 18, 2023 16:41 53s seanturner-md-fixes
October 18, 2023 16:41 53s
fixes incorrect deletions
Update Editor's Copy #182: Commit ea6cf04 pushed by seanturner
October 18, 2023 16:39 52s seanturner-md-fixes
October 18, 2023 16:39 52s
md fixes
Update Editor's Copy #181: Commit baa1c82 pushed by seanturner
October 18, 2023 16:35 42s seanturner-md-fixes-2
October 18, 2023 16:35 42s
md fixes
Update Editor's Copy #180: Commit 70ca6c3 pushed by seanturner
October 18, 2023 16:32 45s seanturner-md-fixes-1
October 18, 2023 16:32 45s
md fixes
Update Editor's Copy #179: Commit 6d09cc3 pushed by seanturner
October 18, 2023 16:30 2m 39s seanturner-md-fixes
October 18, 2023 16:30 2m 39s
Use aasvg for pictures
Update Editor's Copy #178: Pull request #1328 opened by martinthomson
July 30, 2023 04:41 2m 48s martinthomson:aasvg
July 30, 2023 04:41 2m 48s
pages build and deployment
pages-build-deployment #28: by github-pages bot
July 27, 2023 20:55 57s
July 27, 2023 20:55 57s
Merge pull request #1325 from ekr/issue1308_meaningful_external_ident…
Update Editor's Copy #177: Commit da712dc pushed by chris-wood
July 27, 2023 20:52 3m 6s main
July 27, 2023 20:52 3m 6s