Skip to content

Actions: opencompl/fp-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,700 workflow runs
1,700 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: division proof Golden testing #583: Pull request #89 synchronize by bollu
7m 18s div-sketch
div-sketch
7m 18s
feat: division proof Unit Tests #334: Pull request #89 synchronize by bollu
12m 54s div-sketch
div-sketch
12m 54s
feat: division proof Core Library #631: Pull request #89 synchronize by bollu
5m 43s div-sketch
div-sketch
5m 43s
feat: division proof FpRealTheory (with Mathlib) #324: Pull request #89 synchronize by bollu
3m 26s div-sketch
div-sketch
3m 26s
chore: work through the math on paper Core Library #630: Commit c3124f3 pushed by bollu
24s main
main
24s
chore: work through the math on paper Unit Tests #333: Commit c3124f3 pushed by bollu
8m 7s main
main
8m 7s
chore: work through the math on paper Golden testing #582: Commit c3124f3 pushed by bollu
2m 33s main
main
2m 33s
chore: work through the math on paper FpRealTheory (with Mathlib) #323: Commit c3124f3 pushed by bollu
3m 11s main
main
3m 11s
chore: add pen and paper proofs Unit Tests #332: Commit 75c5dfa pushed by bollu
8m 23s main
main
8m 23s
chore: add pen and paper proofs Core Library #629: Commit 75c5dfa pushed by bollu
24s main
main
24s
chore: add pen and paper proofs FpRealTheory (with Mathlib) #322: Commit 75c5dfa pushed by bollu
3m 16s main
main
3m 16s
chore: add pen and paper proofs Golden testing #581: Commit 75c5dfa pushed by bollu
2m 38s main
main
2m 38s
chore: correctness of isLawfulLower_Number_getZero_of_underflowNonneg Golden testing #580: Pull request #94 synchronize by bollu
4m 52s rounding-15-of-x
rounding-15-of-x
4m 52s
chore: correctness of isLawfulLower_Number_getZero_of_underflowNonneg Unit Tests #331: Pull request #94 synchronize by bollu
4m 53s rounding-15-of-x
rounding-15-of-x
4m 53s
chore: correctness of isLawfulLower_Number_getZero_of_underflowNonneg FpRealTheory (with Mathlib) #321: Pull request #94 synchronize by bollu
4m 6s rounding-15-of-x
rounding-15-of-x
4m 6s
chore: correctness of isLawfulLower_Number_getZero_of_underflowNonneg Core Library #628: Pull request #94 synchronize by bollu
4m 55s rounding-15-of-x
rounding-15-of-x
4m 55s
chore: correctness of isLawfulLower_Number_getZero_of_underflowNonneg Core Library #627: Pull request #94 opened by bollu
4m 49s rounding-15-of-x
rounding-15-of-x
4m 49s
chore: correctness of isLawfulLower_Number_getZero_of_underflowNonneg Golden testing #579: Pull request #94 opened by bollu
4m 30s rounding-15-of-x
rounding-15-of-x
4m 30s
chore: correctness of isLawfulLower_Number_getZero_of_underflowNonneg Unit Tests #330: Pull request #94 opened by bollu
5m 13s rounding-15-of-x
rounding-15-of-x
5m 13s
chore: correctness of isLawfulLower_Number_getZero_of_underflowNonneg FpRealTheory (with Mathlib) #320: Pull request #94 opened by bollu
3m 29s rounding-15-of-x
rounding-15-of-x
3m 29s
feat: RNE proof via lower/upper FpRealTheory (with Mathlib) #319: Pull request #93 opened by bollu
3m 21s rne-plan-lower-upper
rne-plan-lower-upper
3m 21s
feat: RNE proof via lower/upper Golden testing #578: Pull request #93 opened by bollu
3m 8s rne-plan-lower-upper
rne-plan-lower-upper
3m 8s
feat: RNE proof via lower/upper Core Library #626: Pull request #93 opened by bollu
1m 24s rne-plan-lower-upper
rne-plan-lower-upper
1m 24s
feat: RNE proof via lower/upper Unit Tests #329: Pull request #93 opened by bollu
8m 42s rne-plan-lower-upper
rne-plan-lower-upper
8m 42s
docs: track built lower-pen-and-paper.pdf and tidy .gitignore (#92) Core Library #625: Commit 6d01f0e pushed by bollu
28s main
main
28s