WIP new GRPO dataset and task: formally-verified program correctness #161
This workflow is awaiting approval from a maintainer in #379
Triggered via pull request
February 22, 2025 08:18
ocramz
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #379
tests.yml
on: pull_request
Run tests and quality checks