WIP new GRPO dataset and task: formally-verified program correctness #142
This workflow is awaiting approval from a maintainer in #379
Triggered via pull request
February 21, 2025 07:12
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