Skip to content

Actions: girving/interval

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Attribute the multiplication theorem proof build #63: Commit 9d1e966 pushed by girving
January 4, 2025 16:15 2m 42s main
main
January 4, 2025 16:15 2m 42s
Sterling series for the log gamma function build #62: Commit e366b3b pushed by girving
January 4, 2025 16:08 5m 26s main
main
January 4, 2025 16:08 5m 26s
Update lean and mathlib build #61: Commit defe4de pushed by girving
December 24, 2024 00:16 5m 20s main
main
December 24, 2024 00:16 5m 20s
Generalize iteratedDeriv_mul (#22) build #60: Commit 1de7929 pushed by girving
December 10, 2024 22:21 2m 18s main
main
December 10, 2024 22:21 2m 18s
Generalize iteratedDeriv_mul build #59: Pull request #22 opened by Ruben-VandeVelde
December 9, 2024 22:40 2m 34s Ruben-VandeVelde:iteratedDeriv_mul
Ruben-VandeVelde:iteratedDeriv_mul
December 9, 2024 22:40 2m 34s
The Euler-Maclaurin formula build #58: Commit 4db2ed4 pushed by girving
December 9, 2024 20:46 5m 27s main
main
December 9, 2024 20:46 5m 27s
Update mathlib build #57: Commit a0e3dc4 pushed by girving
November 9, 2024 21:00 5m 22s main
main
November 9, 2024 21:00 5m 22s
Update lean and mathlib build #56: Commit d98de91 pushed by girving
November 8, 2024 18:25 5m 23s main
main
November 8, 2024 18:25 5m 23s
HPow Interval Nat Interval build #55: Pull request #21 opened by adomasbaliuka
October 22, 2024 07:52 2m 9s adomasbaliuka:adomas_HPow_Interval_Nat
adomasbaliuka:adomas_HPow_Interval_Nat
October 22, 2024 07:52 2m 9s
NatFloor implementation for Adomas build #54: Commit c5c4bbf pushed by girving
October 20, 2024 13:07 5m 5s main
main
October 20, 2024 13:07 5m 5s
NatFloor implementation for Adomas build #53: Commit 2f92abd pushed by girving
October 15, 2024 20:50 4m 58s floor
floor
October 15, 2024 20:50 4m 58s
Fix some warnings build #52: Commit 2c59d6c pushed by girving
October 3, 2024 21:32 2m 51s main
main
October 3, 2024 21:32 2m 51s
Update mathlib build #51: Commit 8520c87 pushed by girving
October 3, 2024 20:41 5m 14s main
main
October 3, 2024 20:41 5m 14s
Update lean and mathlib build #50: Commit e903e22 pushed by girving
October 2, 2024 17:31 5m 23s main
main
October 2, 2024 17:31 5m 23s
Better comment build #49: Commit c3c1268 pushed by girving
September 30, 2024 20:10 1m 47s main
main
September 30, 2024 20:10 1m 47s
Hyperbolic functions, Box.sin, and Box.cos build #48: Commit 338b3a5 pushed by girving
September 30, 2024 20:10 2m 10s main
main
September 30, 2024 20:10 2m 10s
Define ≤, < on Interval build #47: Commit e7e90dd pushed by girving
September 29, 2024 21:39 1m 42s main
main
September 29, 2024 21:39 1m 42s
Rename Interval.mul_box to \smul build #46: Commit 062f713 pushed by girving
September 29, 2024 20:55 1m 43s main
main
September 29, 2024 20:55 1m 43s
Box exponential, now that we have exp, sin, cos build #45: Commit 6b539f6 pushed by girving
September 29, 2024 20:34 3m 47s main
main
September 29, 2024 20:34 3m 47s
Contributors section of README.md build #44: Commit 3222d97 pushed by girving
September 28, 2024 20:08 4m 32s main
main
September 28, 2024 20:08 4m 32s
Ordering for Fixed s build #43: Commit f7fa6fc pushed by girving
September 19, 2024 21:21 3m 11s main
main
September 19, 2024 21:21 3m 11s
Make Interval intersection discard single nans build #42: Commit 2866488 pushed by girving
September 18, 2024 20:32 2m 49s main
main
September 18, 2024 20:32 2m 49s
Optimal interval approximation of π build #41: Commit 9c169c0 pushed by girving
September 14, 2024 20:33 3m 3s main
main
September 14, 2024 20:33 3m 3s
Split apart Interval and Box Division build #40: Commit b2caf51 pushed by girving
September 14, 2024 15:07 2m 8s main
main
September 14, 2024 15:07 2m 8s
Split Series.lean into multiple files build #39: Commit f9be2d5 pushed by girving
September 13, 2024 21:38 2m 5s main
main
September 13, 2024 21:38 2m 5s