Skip to content

feat(theoremqa): add dataset and k-shot base-model task (#3) #55

feat(theoremqa): add dataset and k-shot base-model task (#3)

feat(theoremqa): add dataset and k-shot base-model task (#3) #55

Triggered via push June 26, 2026 14:21
Status Success
Total duration 2m 54s
Artifacts 2

ci.yml

on: push
Matrix: checks
typecheck
41s
typecheck
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
gitleaks
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
changes
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, dorny/paths-filter@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
sanitize
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
pre-commit
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache@v4, actions/checkout@v4, actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
typecheck
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, pdm-project/setup-pdm@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
checks (3.12)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4, pdm-project/setup-pdm@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
checks (3.12)
Failed to save: Unable to reserve cache with key setup-pdm-Linux-X64-python-3.12.13-ae7d1d19bd63d2a3377ac262b7de6811ca5bc32f48da19d3b57fc042515b3e79, another job may be creating this cache.
checks (3.13)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4, actions/upload-artifact@v4, pdm-project/setup-pdm@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
coverage-3.12
7.95 KB
sha256:36468f4b49563027169df9cd0180893b6621a71a01c09c97e02167b93c24f708
coverage-3.13
7.95 KB
sha256:b4bd46cc444da3863765eddaab8c7452b314d9cd01031b91ff879b25d4eee379