Host (and ESP-IDF) build; less memory usage; `edge_nal::TcpConnect` impl #151

	name: CI

	on:
	pull_request:
	branches:
	- main
	push:
	workflow_dispatch:

	env:
	CARGO_TERM_COLOR: always
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	# Cancel any currently running workflows from the same PR, branch, or
	# tag when a new workflow is triggered.
	#
	# https://stackoverflow.com/a/66336834
	concurrency:
	cancel-in-progress: true
	group: ${{ github.workflow }}-${{ github.event.pull_request.number \|\| github.ref }}

	jobs:
	all:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	- uses: dtolnay/rust-toolchain@v1
	with:
	target: riscv32imc-unknown-none-elf
	toolchain: nightly-2024-07-22
	components: rust-src,rustfmt
	- uses: esp-rs/xtensa-toolchain@v1.5
	with:
	ldproxy: true
	override: false
	- uses: Swatinem/rust-cache@v2
	- uses: extractions/setup-just@v1
	with:
	just-version: 1.13.0

	- name: mbedtls init
	run: git submodule update --init --recursive

	- name: check
	run: just

Provide feedback