Commit graph

1 commit

Author SHA1 Message Date
Maximus Gorog
5e9be0ffe2 Add proprietary LICENSE; move CI to .forgejo/workflows/, run cubical-test
Some checks are pending
Lean Action CI / build (push) Waiting to run
- LICENSE: proprietary, all rights reserved.  Public availability of
  the repo grants no license; use requires written consent from
  mgorog@gmail.com.
- README: "Reusing this engine" → "Consuming the engine (with
  permission)" with explicit pointer to LICENSE.
- CI: workflow moved from .github/workflows/ to .forgejo/workflows/
  so forgejo's runner picks it up.  Workflow now also installs Rust,
  builds native/cubical/, and runs cubical-test (62/62 verification)
  rather than only running lake build (which would have failed at
  link time without libtopolei_cubical.a).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
2026-04-27 23:04:16 -06:00