input-output-hk/typed-protocols

Update typed-protocols to build with ghc-9.6

Closed this issue · 3 comments

erikd commented

[x] Make it build.
[x] Add it to CI.
[x] Upload to CHaP

erikd commented

Still waiting to be given write access (so I can push a PR branch). Branch pushed.

erikd commented

CI done.

erikd commented

Complete.