Skip to content

Actions: leanprover-community/lean-liquid

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update src oleans after strongly_exact rename continuous integration #3395: Commit 8e29480 pushed by PatrickMassot
January 22, 2024 23:43 2h 23m 6s oleans
oleans
January 22, 2024 23:43 2h 23m 6s
Merge pull request #131 from pitmonticone/master continuous integration #3394: Commit 087fffa pushed by jcommelin
January 22, 2024 23:43 2h 21m 34s master
master
January 22, 2024 23:43 2h 21m 34s
Merge pull request #130 from leanprover-community/strongly-exact continuous integration #3393: Commit 92029c7 pushed by jcommelin
January 22, 2024 23:42 1m 32s master
master
January 22, 2024 23:42 1m 32s
Add LTE oleans continuous integration #3392: Commit fb5bda5 pushed by PatrickMassot
January 22, 2024 23:26 16m 55s oleans
oleans
January 22, 2024 23:26 16m 55s
Add mathlib olean files continuous integration #3391: Commit 63d473e pushed by PatrickMassot
January 22, 2024 23:21 6m 4s oleans
oleans
January 22, 2024 23:21 6m 4s
wip continuous integration #3390: Commit 888512e pushed by jcommelin
September 29, 2023 04:00 8m 27s exponential_growth
exponential_growth
September 29, 2023 04:00 8m 27s
start on bounds for constants continuous integration #3389: Commit 1fe78ab pushed by jcommelin
September 19, 2023 10:14 4m 50s exponential_growth
exponential_growth
September 19, 2023 10:14 4m 50s
add some "move this" comments continuous integration #3388: Commit 3229195 pushed by jcommelin
July 14, 2023 13:45 8h 40m 59s strongly-exact-iff
strongly-exact-iff
July 14, 2023 13:45 8h 40m 59s
only 4 constants left continuous integration #3387: Commit 794bd66 pushed by jcommelin
July 14, 2023 13:41 4m 20s strongly-exact-iff
strongly-exact-iff
July 14, 2023 13:41 4m 20s
wip continuous integration #3386: Commit d1c6969 pushed by jcommelin
July 14, 2023 13:20 20m 48s strongly-exact-iff
strongly-exact-iff
July 14, 2023 13:20 20m 48s
wip continuous integration #3385: Commit a627d39 pushed by jcommelin
July 14, 2023 08:20 5h 0m 56s strongly-exact-iff
strongly-exact-iff
July 14, 2023 08:20 5h 0m 56s
a tiny start on the converse continuous integration #3384: Commit d530520 pushed by jcommelin
July 14, 2023 07:58 21m 33s strongly-exact-iff
strongly-exact-iff
July 14, 2023 07:58 21m 33s
rename exact_with_constant to strongly_exact continuous integration #3383: Commit d218802 pushed by jcommelin
July 14, 2023 06:38 15h 45m 32s strongly-exact
strongly-exact
July 14, 2023 06:38 15h 45m 32s