Skip to content

Actions: lean-dojo/TorchLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
217 workflow runs
217 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
More updates and features Compile blueprint #143: Commit f0bd983 pushed by Robertboy18
2h 4m 23s main
main
2h 4m 23s
More updates and features CI #98: Commit f0bd983 pushed by Robertboy18
1h 4m 6s main
main
1h 4m 6s
Add custom tensor computations and simplify public APIs Compile blueprint #142: Commit 13d0283 pushed by Robertboy18
2h 32m 12s main
main
2h 32m 12s
Add custom tensor computations and simplify public APIs CI #97: Commit 13d0283 pushed by Robertboy18
38m 51s main
main
38m 51s
feat(autograd): reduce the TapeM surface to one lemma, and prove it (… Compile blueprint #141: Commit 73bbfa0 pushed by Robertboy18
2h 13m 6s main
main
2h 13m 6s
feat(autograd): reduce the TapeM surface to one lemma, and prove it (… CI #96: Commit 73bbfa0 pushed by Robertboy18
37m 55s main
main
37m 55s
feat(libtorch): run the bridge on the host when the SDK is CPU-only Compile blueprint #140: Pull request #36 opened by NicolasRouquette
2h 1m 35s NicolasRouquette:libtorch-cpu-device
NicolasRouquette:libtorch-cpu-device
2h 1m 35s
feat(libtorch): run the bridge on the host when the SDK is CPU-only CI #95: Pull request #36 opened by NicolasRouquette
56m 47s NicolasRouquette:libtorch-cpu-device
NicolasRouquette:libtorch-cpu-device
56m 47s
feat(libtorch): report device identity per index Compile blueprint #139: Pull request #35 opened by NicolasRouquette
2h 29m 11s NicolasRouquette:libtorch-device-identity
NicolasRouquette:libtorch-device-identity
2h 29m 11s
feat(libtorch): report device identity per index CI #94: Pull request #35 opened by NicolasRouquette
36m 45s NicolasRouquette:libtorch-device-identity
NicolasRouquette:libtorch-device-identity
36m 45s
feat(libtorch): piecewise-linear table lookup composed from float32 primitives CI #93: Pull request #34 opened by NicolasRouquette
38m 17s NicolasRouquette:libtorch-table-lookup
NicolasRouquette:libtorch-table-lookup
38m 17s
feat(libtorch): piecewise-linear table lookup composed from float32 primitives Compile blueprint #138: Pull request #34 opened by NicolasRouquette
2h 31m 45s NicolasRouquette:libtorch-table-lookup
NicolasRouquette:libtorch-table-lookup
2h 31m 45s
perf(ioloader): decode NPY payloads unboxed, and per leading-axis block concurrently CI #92: Pull request #29 synchronize by NicolasRouquette
39m 45s NicolasRouquette:npy-bulk-decode
NicolasRouquette:npy-bulk-decode
39m 45s
perf(ioloader): decode NPY payloads unboxed, and per leading-axis block concurrently Compile blueprint #137: Pull request #29 synchronize by NicolasRouquette
2h 29m 9s NicolasRouquette:npy-bulk-decode
NicolasRouquette:npy-bulk-decode
2h 29m 9s
feat(autograd): reduce the TapeM surface to one lemma, and prove it Compile blueprint #136: Pull request #31 synchronize by NicolasRouquette
2h 28m 25s NicolasRouquette:tapem-run-lemmas
NicolasRouquette:tapem-run-lemmas
2h 28m 25s
feat(autograd): reduce the TapeM surface to one lemma, and prove it CI #91: Pull request #31 synchronize by NicolasRouquette
26m 7s NicolasRouquette:tapem-run-lemmas
NicolasRouquette:tapem-run-lemmas
26m 7s
Restore original artwork and explain the LibTorch move Compile blueprint #135: Commit b062b9a pushed by Robertboy18
2h 33m 52s main
main
2h 33m 52s
Restore original artwork and explain the LibTorch move CI #90: Commit b062b9a pushed by Robertboy18
30m 55s main
main
30m 55s
new better names CI #89: Commit 2144eb4 pushed by Robertboy18
1h 16m 50s main
main
1h 16m 50s
new better names Compile blueprint #134: Commit 2144eb4 pushed by Robertboy18
2h 36m 16s main
main
2h 36m 16s
Fix FloatLib API documentation link CI #88: Commit de3192d pushed by Robertboy18
48m 7s main
main
48m 7s
Fix FloatLib API documentation link Compile blueprint #133: Commit de3192d pushed by Robertboy18
2h 18m 21s main
main
2h 18m 21s
Generalize differentiation and clean up the model API Compile blueprint #132: Commit 9095233 pushed by Robertboy18
1h 53m 5s main
main
1h 53m 5s
Generalize differentiation and clean up the model API CI #87: Commit 9095233 pushed by Robertboy18
1h 2m 52s main
main
1h 2m 52s
Merge pull request #23 from NicolasRouquette/cuda-scaled-prod-exp CI #86: Commit eb301fa pushed by Robertboy18
1h 3m 0s main
main
1h 3m 0s