New GRPO dataset and task: formally-verified program correctness #211
This workflow is awaiting approval from a maintainer in #379
Triggered via pull request
February 25, 2025 16:23
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