Skip to content

Actions: Beneficial-AI-Foundation/NumpySpec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
631 workflow runs
631 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Port 20 more numeric-only Dafny synthesis tasks (batch 7) CI #114: Pull request #116 opened by alok
2m 59s dafnybench-batch7
dafnybench-batch7
2m 59s
feat: Port 20 more numeric-only Dafny synthesis tasks (batch 7) CI #113: Commit f95c6e0 pushed by alok
3m 4s dafnybench-batch7
dafnybench-batch7
3m 4s
put vector literal syn in CLAUDE.md Claude Code #176: Issue comment #68 (comment) created by claude bot
1s
1s
put vector literal syn in CLAUDE.md Claude Code #175: Issue comment #68 (comment) created by alok
9m 8s
9m 8s
use morph's browser Claude Code #174: Issue #32 assigned by alok
2s
2s
feat: Port 20 more numeric-only Dafny synthesis tasks (batch 6) Claude Code #167: Issue comment #115 (comment) created by claude bot
Skipped
Skipped
feat: Port 20 more numeric-only Dafny synthesis tasks (batch 6) Claude Code Review #81: Pull request #115 opened by alok
6m 15s dafnybench-batch6
dafnybench-batch6
6m 15s
feat: Port 20 more numeric-only Dafny synthesis tasks (batch 6) CI #112: Pull request #115 opened by alok
2m 44s dafnybench-batch6
dafnybench-batch6
2m 44s
feat: Port 20 more numeric-only Dafny synthesis tasks (batch 6) CI #111: Commit 2b971e7 pushed by alok
3m 3s dafnybench-batch6
dafnybench-batch6
3m 3s
feat: Complete NumPy specification implementation across 4 major modules Claude Code #166: Issue comment #114 (comment) created by htlou
1s
1s
feat: Complete NumPy specification implementation across 4 major modules CI #110: Commit e1c7ec9 pushed by htlou
3m 26s dev-hantao-all-numpy
dev-hantao-all-numpy
3m 26s
feat: Port 20 numeric-only Dafny synthesis tasks (batch 5) Claude Code #165: Issue comment #113 (comment) created by claude bot
1s
1s
docs: Add comprehensive 'keep going' instructions for DafnyBenchmarks CI #109: Commit f018a05 pushed by alok
3m 26s dafnybench-docs
dafnybench-docs
3m 26s
feat: Port 20 numeric-only Dafny synthesis tasks (batch 5) Claude Code Review #80: Pull request #113 synchronize by alok
5m 33s dafnybench-batch5
dafnybench-batch5
5m 33s
feat: Port 20 numeric-only Dafny synthesis tasks (batch 5) CI #108: Pull request #113 synchronize by alok
3m 26s dafnybench-batch5
dafnybench-batch5
3m 26s
feat: Port 20 numeric-only Dafny synthesis tasks (batch 5) CI #107: Commit 2e5225c pushed by alok
2m 11s dafnybench-batch5
dafnybench-batch5
2m 11s
feat: Port 20 numeric-only Dafny synthesis tasks (batch 5) Claude Code #164: Issue comment #113 (comment) created by claude bot
2s
2s
feat: Port 20 numeric-only Dafny synthesis tasks (batch 5) CI #106: Pull request #113 opened by alok
4m 3s dafnybench-batch5
dafnybench-batch5
4m 3s
feat: Port 20 numeric-only Dafny synthesis tasks (batch 5) Claude Code Review #79: Pull request #113 opened by alok
4m 55s dafnybench-batch5
dafnybench-batch5
4m 55s
feat: Port 20 numeric-only Dafny synthesis tasks (batch 5) CI #105: Commit 2f221d8 pushed by alok
2m 36s dafnybench-batch5
dafnybench-batch5
2m 36s
feat: Port 70 Dafny benchmark specifications (batch 4 of 4) Claude Code #160: Issue comment #112 (comment) created by claude bot
1s
1s
feat: Port 70 Dafny benchmark specifications (batch 4 of 4) Claude Code Review #78: Pull request #112 opened by alok
3m 4s dafnybench
dafnybench
3m 4s
feat: Port 70 Dafny benchmark specifications (batch 4 of 4) CI #104: Pull request #112 opened by alok
6m 55s dafnybench
dafnybench
6m 55s
feat: Port 20 additional Dafny synthesis tasks (batch 4) CI #103: Commit 0bd6fff pushed by alok
2m 25s dafnybench
dafnybench
2m 25s
add root file so build works CI #102: Commit 076acbc pushed by alok
3m 14s main
main
3m 14s