Skip to content

Actions: lean-dojo/TorchLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow runs
180 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fix guide lint and README math rendering CI #77: Commit b266059 pushed by Robertboy18
1h 30m 11s main
main
1h 30m 11s
Fix guide lint and README math rendering Compile blueprint #127: Commit b266059 pushed by Robertboy18
2h 20m 25s main
main
2h 20m 25s
Major upgrade to Lean 4.34 Compile blueprint #126: Commit 475e6f7 pushed by Robertboy18
12m 22s main
main
12m 22s
Major upgrade to Lean 4.34 CI #76: Commit 475e6f7 pushed by Robertboy18
3m 29s main
main
3m 29s
Huge major upgrade! CI #75: Commit 4ec1f62 pushed by Robertboy18
1h 53m 49s main
main
1h 53m 49s
Huge major upgrade! Compile blueprint #125: Commit 4ec1f62 pushed by Robertboy18
1h 28m 6s main
main
1h 28m 6s
Compile blueprint Compile blueprint #124: Manually run by Robertboy18
1h 33m 15s cleanup
cleanup
1h 33m 15s
CI CI #74: Manually run by Robertboy18
1h 8m 56s cleanup
cleanup
1h 8m 56s
feat(autograd): reduce the TapeM surface to one lemma, and prove it Compile blueprint #123: Pull request #31 opened by NicolasRouquette
1h 26m 32s NicolasRouquette:tapem-run-lemmas
NicolasRouquette:tapem-run-lemmas
1h 26m 32s
feat(autograd): reduce the TapeM surface to one lemma, and prove it CI #73: Pull request #31 opened by NicolasRouquette
1h 48m 38s NicolasRouquette:tapem-run-lemmas
NicolasRouquette:tapem-run-lemmas
1h 48m 38s
feat(cuda): fused scaledProdExp buffer op — exp((c·x)·y) in one kernel Compile blueprint #122: Pull request #23 synchronize by NicolasRouquette
1h 3m 40s NicolasRouquette:cuda-scaled-prod-exp
NicolasRouquette:cuda-scaled-prod-exp
1h 3m 40s
feat(cuda): fused scaledProdExp buffer op — exp((c·x)·y) in one kernel CI #72: Pull request #23 synchronize by NicolasRouquette
1h 47m 33s NicolasRouquette:cuda-scaled-prod-exp
NicolasRouquette:cuda-scaled-prod-exp
1h 47m 33s
feat(cuda): TexTable — layered 1-D lookup-table textures with point/hardware filtering Compile blueprint #121: Pull request #24 synchronize by NicolasRouquette
1h 26m 17s NicolasRouquette:cuda-texture-table
NicolasRouquette:cuda-texture-table
1h 26m 17s
feat(cuda): TexTable — layered 1-D lookup-table textures with point/hardware filtering CI #71: Pull request #24 synchronize by NicolasRouquette
1h 46m 50s NicolasRouquette:cuda-texture-table
NicolasRouquette:cuda-texture-table
1h 46m 50s
feat(cuda): report device identity and compiled architecture Compile blueprint #120: Pull request #30 synchronize by NicolasRouquette
1h 27m 53s NicolasRouquette:cuda-device-identity
NicolasRouquette:cuda-device-identity
1h 27m 53s
feat(cuda): report device identity and compiled architecture CI #70: Pull request #30 synchronize by NicolasRouquette
1h 45m 40s NicolasRouquette:cuda-device-identity
NicolasRouquette:cuda-device-identity
1h 45m 40s
perf(ioloader): decode NPY payloads unboxed, and per leading-axis block concurrently Compile blueprint #119: Pull request #29 synchronize by NicolasRouquette
1h 24m 54s NicolasRouquette:npy-bulk-decode
NicolasRouquette:npy-bulk-decode
1h 24m 54s
perf(ioloader): decode NPY payloads unboxed, and per leading-axis block concurrently CI #69: Pull request #29 synchronize by NicolasRouquette
1h 45m 54s NicolasRouquette:npy-bulk-decode
NicolasRouquette:npy-bulk-decode
1h 45m 54s
feat(cuda): TexTable — layered 1-D lookup-table textures with point/hardware filtering Compile blueprint #118: Pull request #24 synchronize by NicolasRouquette
1h 31m 50s NicolasRouquette:cuda-texture-table
NicolasRouquette:cuda-texture-table
1h 31m 50s
feat(cuda): TexTable — layered 1-D lookup-table textures with point/hardware filtering CI #68: Pull request #24 synchronize by NicolasRouquette
2m 44s NicolasRouquette:cuda-texture-table
NicolasRouquette:cuda-texture-table
2m 44s
feat(cuda): fused scaledProdExp buffer op — exp((c·x)·y) in one kernel CI #67: Pull request #23 synchronize by NicolasRouquette
2m 52s NicolasRouquette:cuda-scaled-prod-exp
NicolasRouquette:cuda-scaled-prod-exp
2m 52s
feat(cuda): fused scaledProdExp buffer op — exp((c·x)·y) in one kernel Compile blueprint #117: Pull request #23 synchronize by NicolasRouquette
1h 25m 33s NicolasRouquette:cuda-scaled-prod-exp
NicolasRouquette:cuda-scaled-prod-exp
1h 25m 33s
feat(cuda): scoped device-memory arena (withCudaArena) + use-after-free detector Compile blueprint #116: Pull request #22 synchronize by NicolasRouquette
1h 26m 53s NicolasRouquette:cuda-arena-scope
NicolasRouquette:cuda-arena-scope
1h 26m 53s
feat(cuda): scoped device-memory arena (withCudaArena) + use-after-free detector CI #66: Pull request #22 synchronize by NicolasRouquette
1h 32m 45s NicolasRouquette:cuda-arena-scope
NicolasRouquette:cuda-arena-scope
1h 32m 45s
feat(cuda): bundle + auto-link the glibc≥2.38 isoc23 link shim CI #65: Pull request #18 synchronize by NicolasRouquette
1h 8m 50s NicolasRouquette:cuda-isoc23-shim
NicolasRouquette:cuda-isoc23-shim
1h 8m 50s