Skip to content

Actions: girving/interval

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean.yml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #11 from adomasbaliuka/adomas_golf_val_nan build #13: Commit eb99034 pushed by girving
August 26, 2024 17:45 3m 38s main
main
August 26, 2024 17:45 3m 38s
Shortens proof of val_nan build #12: Pull request #11 opened by adomasbaliuka
August 26, 2024 17:12 3m 56s adomasbaliuka:adomas_golf_val_nan
adomasbaliuka:adomas_golf_val_nan
August 26, 2024 17:12 3m 56s
Merge pull request #10 from adomasbaliuka/adomas_approx_lemmas_for_co… build #11: Commit 0db0309 pushed by girving
August 26, 2024 15:03 4m 2s main
main
August 26, 2024 15:03 4m 2s
Adds lemmas mem_approx_natCast and mem_approx_natCast build #10: Pull request #10 synchronize by adomasbaliuka
August 26, 2024 14:44 10m 57s adomasbaliuka:adomas_approx_lemmas_for_conversions
adomasbaliuka:adomas_approx_lemmas_for_conversions
August 26, 2024 14:44 10m 57s
Adds lemmas mem_approx_natCast and mem_approx_natCast build #9: Pull request #10 opened by adomasbaliuka
August 26, 2024 13:51 3m 39s adomasbaliuka:adomas_approx_lemmas_for_conversions
adomasbaliuka:adomas_approx_lemmas_for_conversions
August 26, 2024 13:51 3m 39s
Merge pull request #8 from adomasbaliuka/adomas_Coe_instances_NatRat build #8: Commit 76923ad pushed by girving
August 26, 2024 10:42 3m 38s main
main
August 26, 2024 10:42 3m 38s
RFC: Adds coercion instances: Coe Nat Interval and Coe Rat Interval build #7: Pull request #8 synchronize by adomasbaliuka
August 26, 2024 10:37 3m 50s adomasbaliuka:adomas_Coe_instances_NatRat
adomasbaliuka:adomas_Coe_instances_NatRat
August 26, 2024 10:37 3m 50s
RFC: Adds coercion instances: Coe Nat Interval and Coe Rat Interval build #6: Pull request #8 opened by adomasbaliuka
August 23, 2024 08:52 3m 35s adomasbaliuka:adomas_Coe_instances_NatRat
adomasbaliuka:adomas_Coe_instances_NatRat
August 23, 2024 08:52 3m 35s
Add CI status to README.md build #5: Commit f323ef3 pushed by girving
August 21, 2024 21:34 3m 33s main
main
August 21, 2024 21:34 3m 33s
Add CI status to README.md build #4: Commit ed08cef pushed by girving
August 21, 2024 21:28 3m 47s main
main
August 21, 2024 21:28 3m 47s
lake update build #3: Commit 55894be pushed by girving
August 20, 2024 21:12 3m 50s main
main
August 20, 2024 21:12 3m 50s
lakefile.toml: name needs to be lowercase, it seems build #2: Commit 3dfad07 pushed by girving
August 19, 2024 20:26 3m 47s main
main
August 19, 2024 20:26 3m 47s
Add CI build #1: Commit 2ccccc9 pushed by girving
August 19, 2024 20:19 5m 48s main
main
August 19, 2024 20:19 5m 48s