Skip to content

Preserve ReKarel language in runner - #149

Merged
pabo99 merged 4 commits into
omegaup:mainfrom
pabo99:rk-language-preservation
Aug 27, 2026
Merged

pabo99 merged 4 commits into
omegaup:mainfrom
pabo99:rk-language-preservation

Conversation

@pabo99

@pabo99 pabo99 commented Aug 27, 2026 •

Copy link
Copy Markdown
Contributor

Adds rk as a first-class runner language, preserving it through compile/run as Main.rk.

Also updates the runner sandbox image to use the ReKarel-capable omegajail release and Karel runtime assets.

Tests

  • Built local runner image: omegaup/runner-ci:rk-smoke
  • Ran omegaup-runner -oneshot=ci with a .rk ReKarel solution
  • Verified compile/run path uses rk and returns AC

Additional local smoke tests:

  • rk: passed, AC
  • kj: passed, AC
  • py3: passed, AC
  • go: passed, AC with MemoryLimit: 256 MiB

The first Go smoke with the default 32 MiB problem limit compiled successfully with omegajail v3.11.2, but failed at runtime with:

fatal error: failed to reserve page summary memory

Fixes: #148

@codecov

codecov Bot commented Aug 27, 2026 •

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 41.45%. Comparing base (63d5646) to head (4b3a1ab).

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #149      +/-   ##
==========================================
+ Coverage   41.29%   41.45%   +0.16%     
==========================================
  Files          25       25              
  Lines        6868     6868              
==========================================
+ Hits         2836     2847      +11     
+ Misses       3770     3759      -11     
  Partials      262      262              

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@pabo99
pabo99 merged commit a52bc50 into omegaup:main Aug 27, 2026
3 checks passed
@pabo99
pabo99 deleted the rk-language-preservation branch August 27, 2026 20:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Preservar language=rk hasta omegajail

1 participant