hax-types: version for serde-brief

[franziskuskiefer]

You can not publish a crate with a wildecard as version number.

I published all the crates. You need to move all the tags to this commit when merged.

I published with

cargo release -p hax-frontend-exporter-options -p hax-adt-into -p hax-frontend-exporter -p hax-types -p hax-subcommands -p cargo-hax -p hax-export-json-schemas -p hax-pretty-print-diagnostics -p hax-lib-macros-types -p hax-lib-macros -p hax-lib -p hax-driver --no-tag --execute

[W95Psp]

Ah, thanks, makes sense, I missed that!
This list of crate is supposed to be somewhere in the repo though. I will investigate why it's not picked up by cargo release.

[franziskuskiefer]

This list of crate is supposed to be somewhere in the repo though.

I don't think we ever merged a config.