add finalize to close connection#59

Open

mabiede wants to merge 8 commits into

oxidizing:masterfrom

mabiede:bug/connection-close-wait

Commits on Jun 12, 2025

add finalize to close connection, simplify devcontainer
mabiede
committed

Commits on Jan 8, 2026

remove lock file, update package
Docker
committed

Commits on Apr 23, 2026

update unerasable argument functions, add deprecation warnings
Docker
committed
update github actions workflow
Docker
committed
fix lower bound, upgrade dune language
Docker
committed
add explicit type declaration
Docker
committed
upgrade colombe dependency
Docker
committed
fix lower bound due to dependencies
Docker
committed