Update dtls 1.3 design doc based on current implementation #246

	# Copyright 2021-2023 The OpenSSL Project Authors. All Rights Reserved.
	#
	# Licensed under the Apache License 2.0 (the "License"). You may not use
	# this file except in compliance with the License. You can obtain a copy
	# in the file LICENSE in the source distribution or at
	# https://www.openssl.org/source/license.html

	name: Run-checker merge
	# Jobs run per merge to master

	on: [push]
	permissions:
	contents: read

	jobs:
	run-checker:
	strategy:
	fail-fast: false
	matrix:
	opt: [
	enable-asan enable-ubsan no-shared no-asm -DOPENSSL_SMALL_FOOTPRINT,
	no-ct,
	no-dso,
	no-dynamic-engine,
	no-engine no-shared,
	no-err,
	no-filenames,
	enable-ubsan no-asm -DOPENSSL_SMALL_FOOTPRINT -fno-sanitize=alignment,
	no-module,
	no-ocsp,
	no-pinshared,
	no-srp,
	no-srtp,
	no-ts,
	enable-weak-ssl-ciphers,
	enable-zlib,
	]
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: checkout fuzz/corpora submodule
	run: git submodule update --init --depth 1 fuzz/corpora
	- name: config
	run: CC=clang ./config --banner=Configured --strict-warnings ${{ matrix.opt }}
	- name: config dump
	run: ./configdata.pm --dump
	- name: make
	run: make -s -j4
	- name: get cpu info
	run: \|
	cat /proc/cpuinfo
	./util/opensslwrap.sh version -c
	- name: make test
	run: make test HARNESS_JOBS=${HARNESS_JOBS:-4}

Provide feedback