mthom / scryer-prolog

A modern Prolog implementation written mostly in Rust.
BSD 3-Clause "New" or "Revised" License
2.01k stars 117 forks source link

re-add CI job to test Cargo.toml rust-version #2413

Closed Skgland closed 4 months ago

Skgland commented 4 months ago

was removed in #2393 instead of being updated, see

Skgland commented 4 months ago

Oh, looks like I missed #2403. Well I will try and see whats wrong with the wasm build, if I can figure it out I will include that fix here, the CI log looks unhelpful.

Skgland commented 4 months ago

Locally I can successfully compile it under WSL2 running Ubuntu. Though I saw it use a lot of RAM, around 13.3 GB I believe is the highest I saw, which is probably too much for the CI Runner.

Skgland commented 4 months ago

Asciinema Recording: https://asciinema.org/a/J6luDBqPiwsnXxWpri3hFECNC

The highest RAM usage appears to be around 11:41 with 15.2 GB Total System usage and 13.6 GB RES / 16.7 GB VIRT Memory usage for the rustc tasks.

infogulch commented 4 months ago

Previous discussion about compilation memory usage: https://github.com/mthom/scryer-prolog/discussions/2139

We could enable swap, there's a GH action that does this: https://github.com/actionhippie/swap-space This sounds like it would be bad for compile times, but considering that memory usage spikes right at the end it could be tolerable.

Skgland commented 4 months ago

Looks like increasing the swapfile size from the apparently default 4GB to 10GB worked. And it isn't even the slowest job.