Skip to content

Actions: lean-dojo/FloatLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 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 third-party license notices Website #13: Commit 393bea6 pushed by Robertboy18
5m 45s main
main
5m 45s
Generalize numerical APIs and clean up the library Website #12: Commit 52ab504 pushed by Robertboy18
11m 9s main
main
11m 9s
small related work Website #11: Commit 40301cd pushed by Robertboy18
5m 37s main
main
5m 37s
Connect Lean 4.34 native floats to FloatLib Website #10: Commit 09ddbc3 pushed by Robertboy18
10m 58s main
main
10m 58s
Website Website #9: Manually run by Robertboy18
20m 57s main
main
20m 57s
Upgrade to Lean 4.34 and improve parsing and formatting Website #8: Commit 7042658 pushed by Robertboy18
19m 35s main
main
19m 35s
Website Website #7: Manually run by Robertboy18
20m 12s main
main
20m 12s
Website Website #6: Manually run by Robertboy18
9s main
main
9s
First release :) Website #5: Commit 7de3059 pushed by Robertboy18
12s main
main
12s
Website Website #4: Manually run by Robertboy18
8s main
main
8s
Improve guide search and examples; simplify quantization API Website #3: Commit dc08fbb pushed by Robertboy18
7s main
main
7s
First release :) Website #2: Commit 0059bfa pushed by Robertboy18
8s main
main
8s
Build and deploy the website with GitHub Pages Website #1: Commit ea8040e pushed by Robertboy18
10s main
main
10s