Unify Mina unrelated libraries in Mina_stdlib

Open dannywillems opened this issue 9 months ago • 3 comments

See README.md.

file_system and some UNIX dependent libraries should be moved soon into mina_stdlib_unix.

This continues the (automated) effort to decrease the number of small packages.

May 25 '25 21:05 dannywillems

!ci-bypass-changelog

May 25 '25 21:05 dannywillems

!ci-build-me

May 25 '25 21:05 dannywillems

!ci-build-me

May 26 '25 16:05 dannywillems

!ci-build-me

Jun 25 '25 15:06 dannywillems

!ci-build-me

Jul 01 '25 09:07 dannywillems

What did you force pushed :(

Jul 01 '25 09:07 glyh

What did you force pushed :(

I did rebase using the GH interface. It is necessary to be sure that the changes doesn't introduce build issues. We should always try to have the branch up-to-date with the target.

Jul 01 '25 09:07 dannywillems

Bypassing merge as approved by @querolita and @glyh

Jul 01 '25 11:07 dannywillems