Skip to content

Actions: lean-dojo/TorchLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
172 workflow runs
172 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
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
feat(cuda): bundle + auto-link the glibc≥2.38 isoc23 link shim Compile blueprint #115: Pull request #18 synchronize by NicolasRouquette
1h 32m 47s NicolasRouquette:cuda-isoc23-shim
NicolasRouquette:cuda-isoc23-shim
1h 32m 47s
feat(cuda): selectable compilation target via -K cuda_arch, traced by Lake Compile blueprint #114: Pull request #27 synchronize by NicolasRouquette
1h 29m 38s NicolasRouquette:cuda-arch-target
NicolasRouquette:cuda-arch-target
1h 29m 38s
feat(cuda): selectable compilation target via -K cuda_arch, traced by Lake CI #64: Pull request #27 synchronize by NicolasRouquette
1h 49m 19s NicolasRouquette:cuda-arch-target
NicolasRouquette:cuda-arch-target
1h 49m 19s
Small complex fix Compile blueprint #113: Commit 12f5c65 pushed by Robertboy18
1h 34m 16s main
main
1h 34m 16s
Small complex fix CI #63: Commit 12f5c65 pushed by Robertboy18
1h 50m 7s main
main
1h 50m 7s
Major upgrade Compile blueprint #112: Commit cfbb01e pushed by Robertboy18
1h 29m 8s main
main
1h 29m 8s
Major upgrade CI #62: Commit cfbb01e pushed by Robertboy18
1h 6m 45s main
main
1h 6m 45s
Keep batched row scaling for recurrent models Compile blueprint #111: Commit df1a42e pushed by Robertboy18
52m 58s main
main
52m 58s