workshopsoft/ludic
2
0
Fork 0
Code Issues Pull requests Projects Releases 26 Packages Wiki Activity Actions

26 releases 38 tags

RSS feed
  • v0.13.2 21bc611455

    v0.13.2
    All checks were successful
    bootstrap / cfree-fixpoint (push) Successful in 30s
    Details
    ci / build-and-test (push) Successful in 3m22s
    Details
    commit-lint / conventional-commits (push) Successful in 4s
    Details
    docs / build-and-deploy (push) Successful in 38s
    Details
    release / publish (push) Successful in 3m12s
    Details
    Pre-release

    orkun released this 2026-09-13 02:48:57 +02:00 | 932 commits to main since this release

    v0.13.2 — 2026-09-13

    Fixes

    • ludic build links http.ll only into a program that uses Http.*.

      The check that added it grepped the IR for @hs_, which every program's header declares,
      so the HTTP transport and Foundation were linked into everything. That cost nothing visible
      on macOS and failed the link on Linux, where ludic build, ludic run and a new project all
      broke in CI. It now looks for a call to hs_send.

    Downloads