Skip to content

Actions: lean-dojo/TorchLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 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
Add verified matrix factorizations: Cholesky and QR (exact) Compile blueprint #29: Pull request #2 synchronize by NicolasRouquette
Action required NicolasRouquette:factorization-cholesky-qr
NicolasRouquette:factorization-cholesky-qr
Action required
Add functional transcendentals + scalar-affine ops for scientific forward models Compile blueprint #28: Pull request #5 synchronize by NicolasRouquette
Action required NicolasRouquette:functional-elementwise-transcendentals
NicolasRouquette:functional-elementwise-transcendentals
Action required
Add verified matrix factorizations: Cholesky and QR (exact) Compile blueprint #27: Pull request #2 synchronize by NicolasRouquette
Action required NicolasRouquette:factorization-cholesky-qr
NicolasRouquette:factorization-cholesky-qr
Action required
Compile blueprint Compile blueprint #26: Manually run by Robertboy18
1h 29m 23s main
main
1h 29m 23s
Add verified matrix factorizations: Cholesky and QR (exact) Compile blueprint #24: Pull request #2 synchronize by NicolasRouquette
Action required NicolasRouquette:factorization-cholesky-qr
NicolasRouquette:factorization-cholesky-qr
Action required
Add functional transcendentals + scalar-affine ops for scientific forward models Compile blueprint #23: Pull request #5 synchronize by NicolasRouquette
Action required NicolasRouquette:functional-elementwise-transcendentals
NicolasRouquette:functional-elementwise-transcendentals
Action required
Add verified matrix factorizations: Cholesky and QR (exact) Compile blueprint #22: Pull request #2 synchronize by NicolasRouquette
Action required NicolasRouquette:factorization-cholesky-qr
NicolasRouquette:factorization-cholesky-qr
Action required
Add functional transcendentals + scalar-affine ops for scientific forward models Compile blueprint #21: Pull request #5 opened by NicolasRouquette
Action required NicolasRouquette:functional-elementwise-transcendentals
NicolasRouquette:functional-elementwise-transcendentals
Action required
Add verified matrix factorizations: Cholesky and QR (exact) Compile blueprint #20: Pull request #2 synchronize by NicolasRouquette
Action required NicolasRouquette:factorization-cholesky-qr
NicolasRouquette:factorization-cholesky-qr
Action required
Limit blueprint workflow to docs changes Compile blueprint #19: Commit a19506e pushed by Robertboy18
1h 43m 55s main
main
1h 43m 55s
Running Copilot Code Review Copilot #1: by Copilot AI
2m 8s blueprint-path-filter
blueprint-path-filter
2m 8s
Limit blueprint workflow to docs changes Compile blueprint #18: Pull request #4 opened by Robertboy18
1h 35m 17s blueprint-path-filter
blueprint-path-filter
1h 35m 17s
Add Mac OS for lakefile.lean Compile blueprint #16: Pull request #3 synchronize by Robertboy18
9m 34s wadkisson-patch-1
wadkisson-patch-1
9m 34s
Add verified matrix factorizations: Cholesky and QR (exact) Compile blueprint #14: Pull request #2 opened by NicolasRouquette
Action required NicolasRouquette:factorization-cholesky-qr
NicolasRouquette:factorization-cholesky-qr
Action required
Free CI disk space before blueprint build Compile blueprint #12: Commit 146353b pushed by Robertboy18
1h 41m 4s main
main
1h 41m 4s
update cli Compile blueprint #10: Commit 68a4c58 pushed by Robertboy18
1h 25m 56s main
main
1h 25m 56s
Improve CUDA training stability and update Lean 4.30 Compile blueprint #7: Commit 82bea12 pushed by Robertboy18
1h 22m 24s main
main
1h 22m 24s
remove reservoir note from readme Compile blueprint #6: Commit 8533d39 pushed by Robertboy18
1h 42m 46s main
main
1h 42m 46s
Sync local main state Compile blueprint #3: Commit e3ea98f pushed by Robertboy18
1h 37m 58s main
main
1h 37m 58s
Compile blueprint Compile blueprint #2: Manually run by Robertboy18
1h 40m 41s main
main
1h 40m 41s
Fresh public release Compile blueprint #1: Commit 411682f pushed by Robertboy18
28s main
main
28s